Jeffrey Young's repositories
klister
an implementation of stuck macros
aoc2023
in forth
aoc_2022
in emacs-lisp!
cabal
Official upstream development repository for Cabal and cabal-install
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
coding-the-matrix
let's go through coding the matrix in common lisp
containers
Assorted concrete container types
forth-mode
Wants to be the SLIME of Forth
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
ghc.nix
Nix (shell) expression for working on GHC
hashable
A class for types that can be converted to a hash value
hs-opt-handbook.github.io
The Haskell Optimization Handbook
idris2-playground
Getting up to speed with Idris2
jonesforth
My personal jonesforth playground
lean4
Lean 4 programming language and theorem prover
nixpkgs
Nix Packages collection
ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
ouroboros-consensus-tools
Tools related to ouroboros consensus
process
Library for dealing with system processes
ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
sphinx-exec-haskell
Execute Haskell code and capture and test its output in sphinx code blocks
sphinx_exec_directive
Sphinx extension to run Python code blocks and display the output.
stm
Software Transactional Memory
unordered-containers
Efficient hashing-based container types