-
awesome-advent-of-code Public
Forked from Bogdanp/awesome-advent-of-codeA collection of awesome resources related to the yearly Advent of Code challenge.
UpdatedDec 20, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
dotfiles Public
A collection of my dotfiles
-
overlay Public
@siraben's eclectic collection of software
-
-
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedNov 17, 2025 -
rocq Public
Forked from rocq-prover/rocqThe Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
OCaml GNU Lesser General Public License v2.1 UpdatedOct 20, 2025 -
bf-crunch-rs Public
Forked from primo-ppcg/BF-CrunchRust port of BF-Crunch
-
mcb Public
Forked from math-comp/mcbMathematical Components (the Book)
TeX Other UpdatedOct 8, 2025 -
nix.dev Public
Forked from NixOS/nix.devOfficial documentation for getting things done with Nix.
Nix Creative Commons Attribution Share Alike 4.0 International UpdatedSep 30, 2025 -
coq-wigderson Public
Formalization of Wigderson's graph coloring algorithm in Coq
-
gitmagic Public
Forked from blynn/gitmagicA guide to using Git
Makefile GNU General Public License v3.0 UpdatedSep 10, 2025 -
senior-thesis Public
LaTeX sources for my undergraduate thesis
-
vpl Public
VPL (Visual Programming Language) is an educational Turtle language using Haskell and Gloss
-
jonesforth Public
Forked from nornagon/jonesforthMirror of JONESFORTH
Assembly UpdatedJul 22, 2025 -
difflogic Public
Forked from slightknack/difflogicTrain neural networks that distill into logic circuits, using JAX
Python UpdatedJun 10, 2025 -
scheme-to-c Public
A toy Scheme to C compiler
-
-
r5rs-denot Public
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
-
zkeme80 Public
An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
-
-
borg-backup-exclusions-macos Public
Forked from SterlingHooten/borg-backup-exclusions-macosExclusion rules for Borg Backup catered to macOS
GNU General Public License v3.0 UpdatedJul 7, 2024 -
haskell-tree-sitter Public
Forked from tree-sitter/haskell-tree-sitterHaskell bindings for tree-sitter
Haskell UpdatedJun 25, 2024 -
emotivoice-cli Public
CLI wrapper around Emotivoice TTS Synthesis
-
chinese-sentence-miner Public
Forked from Destaq/chinese-sentence-minerFind Chinese sentences based on your known vocabulary and other rules
Python MIT License UpdatedMay 25, 2024 -
r216-forth Public
A Forth implementation for the R216K8B Powder Toy computer.
-
ti84-forth Public
A Forth implementation for the TI-84+ calculator.
-
bf Public
Fast, simple brainfuck interpreter in C
-
echidna Public
Forked from crytic/echidnaEthereum smart contract fuzzer
Solidity GNU Affero General Public License v3.0 UpdatedMay 3, 2024 -
hevm Public
Forked from argotorg/hevmsymbolic EVM evaluator
Haskell GNU Affero General Public License v3.0 UpdatedMar 4, 2024
{{ message }}