-
-
TTGO_TWatch_Library Public
Forked from Xinyuan-LilyGO/TTGO_TWatch_LibraryC MIT License UpdatedMay 27, 2024 -
chit Public
(early experiments toward) a version-control system for structured data
-
five-letters Public
Matt Parker waited 31 days for his code to solve this puzzle. I waited 445 milliseconds.
-
gubpi Public
Forked from gubpi-tool/gubpiGuBPI – an analyzer for probabilistic programs to compute guaranteed bounds on the posterior
F# MIT License UpdatedJul 3, 2022 -
-
-
mesh Public
Software from scratch. An OS with the heart of a database.
-
selfviz Public
A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.
-
asm_concurrency Public
A demo of concurrency primitives in x64 assembly
-
fasm_example_64 Public
Using FASM (the Flat assembler) cross-platform (OSX/Linux)
-
8queens Public
x64 assembler solution to n-queens problem. Not tested for n!=8.
-
specs-actors Public
Forked from filecoin-project/specs-actorsSpecification of builtin actors, in the form of executable code.
-
fungi Public
Forked from filecoin-project/fungiA distributed task runner
-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
-
-
-
-
vim-snippets Public
Forked from honza/vim-snippetsvim-snipmate default snippets (Previously snipmate-snippets)
-
-
nodes Public
Hacker School project representing Boolean algebra in interesting ways
-
-
-
-
-
-
-
-
A fork of git, working on adding a git-log option that filters commits by whether they modify particular {function, module, class} names
-
boolean-calculator Public
Forked from rose/boolean-calculatorFork of @sudowhoami's code for code review purposes
C UpdatedMar 20, 2014
{{ message }}