Skip to content
View dwoos's full-sized avatar
29 followers · 0 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report dwoos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • qmk_firmware Public

    Forked from qmk/qmk_firmware

    Open-source keyboard firmware for Atmel AVR and Arm USB families

    C GNU General Public License v2.0 Updated Oct 5, 2024

  • songsfromthebox Public

    Songs from the box

    JavaScript 1 Updated Sep 12, 2024

  • collatz Public

    Rust 1 Updated Jan 4, 2023

  • sprig-transforms Public

    TypeScript 1 Updated Sep 3, 2022

  • tango-plus-theme Public

    Forked from tmalsburg/tango-plus-theme

    Color theme for Emacs loosely based on the tango palette

    Emacs Lisp Other Updated Dec 8, 2021

  • dungeon-sheets Public

    Forked from canismarko/dungeon-sheets

    A tool to create character sheets and GM session notes for Dungeons and Dragons fifth edition (D&D 5e).

    Python GNU General Public License v3.0 Updated Aug 8, 2021

  • minirust Public

    Rust 1 Updated Apr 12, 2021

  • hlllvm Public

    Rust Updated Apr 9, 2021

  • pxt-scheduler Public

    MakeCode extension for scheduled events

    TypeScript 2 MIT License Updated Jul 12, 2020

  • logcabin Public

    Forked from logcabin/logcabin

    LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their cor…

    C++ Other Updated May 6, 2020

  • redis Public

    Forked from redis/redis

    Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…

    C BSD 3-Clause "New" or "Revised" License Updated May 6, 2020

  • pyret-docs Public

    Forked from brownplt/pyret-docs

    The documentation for Pyret.

    Racket Updated Sep 9, 2019

  • protojson Public

    Deserialize protocol buffers into json

    Rust Updated Jun 4, 2019

  • crossbot Public

    Forked from mwillsey/crossbot

    A slackbot to compete on mini crosswords (or any other daily challenge).

    Python GNU General Public License v3.0 Updated Mar 1, 2019

  • gcal-to-org Public

    Forked from jwhitbeck/gcal-to-org

    A simple little CLI tool to export your google calendar into org-mode.

    Clojure Other Updated Oct 17, 2018

  • tapir Public

    Forked from UWSysLab/tapir

    TAPIR distributed transactional storage system

    Java Updated Jul 17, 2018

  • verdi-runtime Public

    Forked from DistributedComponents/verdi-runtime

    Verdi framework runtime library

    OCaml BSD 2-Clause "Simplified" License Updated Jul 8, 2018

  • dslabs Public

    Forked from emichael/dslabs

    Distributed Systems Labs and Framework

    Java Updated Jul 7, 2018

  • deadbot Public

    Forked from pavpanchekha/deadbot

    Deadline slack bot

    Python MIT License Updated Nov 15, 2017

  • company-coq Public

    Forked from cpitclaudel/company-coq

    Company-mode backend for Proof General's coq-mode

    Emacs Lisp GNU General Public License v3.0 Updated Jun 15, 2017

  • z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ Other Updated Mar 1, 2017

  • neveragaindottech.github.io Public

    Forked from neveragaindottech/neveragaindottech.github.io

    Source files for the neveragain.tech site

    HTML Updated Dec 14, 2016

  • runway-browser Public

    Forked from salesforce/runway-browser

    Interactive visualization framework for Runway models of distributed systems

    JavaScript MIT License Updated Nov 29, 2016

  • verdi Public

    Forked from uwplse/verdi

    A framework for formally verifying distributed systems implementations in Coq

    Coq BSD 2-Clause "Simplified" License Updated Oct 9, 2016

  • verdi-raft Public

    Forked from uwplse/verdi-raft

    Verification of the Raft consensus protocol in the Verdi framework

    Coq BSD 2-Clause "Simplified" License Updated Sep 28, 2016

  • Ironclad Public

    Forked from microsoft/Ironclad

    The MSR Ironclad project builds provably secure and reliable systems.

    C# Updated Sep 17, 2016

  • cheerios Public

    Forked from uwplse/cheerios

    Formally Verified Serialization Library

    Coq Updated Mar 7, 2016

  • hubris Public

    Forked from hubris-lang/hubris

    A dependently typed programming language, and verification tool

    Rust MIT License Updated Mar 4, 2016

  • skyhook Public

    Forked from sampsyo/hooknook

    hooknook for the stars

    Python Updated Feb 5, 2016

  • StructTact Public

    Forked from uwplse/StructTact

    Coq utility and tactic library.

    Coq BSD 2-Clause "Simplified" License Updated Feb 3, 2016