Pinned Loading

1. ghc-typelits-sopsat ghc-typelits-sopsat Public archive

   Haskell 1 2

2. QBayLogic/ghc-typelits-smtsolver QBayLogic/ghc-typelits-smtsolver Public

   Haskell 1

3. secd-machine secd-machine Public

   SECD machine implemented in c++

   C++ 1

4. aoc2024 aoc2024 Public

   Advent of Code 2024 solutions

   OCaml

5. netlist-interpreter netlist-interpreter Public

   Haskell interpreter of Yosys word-level gates netlist

   Haskell