Similar repositories to GaloisInc/gadt-starter:

• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• GaloisInc/gadt-starter github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• tootsuite/mastodon github similar
• robdockins/param-tlc github similar
• aquynh/capstone github similar
• benjaminselfridge/simple-compiler github similar
• ocharles/ghc-nix github similar
• k6io/k6 github similar
• bendy/DenotationalSemantics github similar
• srush/raspy github similar
• srush/MiniChain github similar
• tuvtran/project-based-learning github similar
• haskell-numerics/hmatrix-sundials github similar
• mpickering/three-level github similar
• haskell-works/bits-extra github similar
• goldfirere/funeq github similar
• philzook58/search github similar
• Lysxia/coq-recursion-schemes github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• Twey/agda-imp github similar
• conal/agda-fft github similar
• robrix/spline github similar
• robrix/parallel-incremental github similar
• ChrisPenner/Flow github similar
• mrkgnao/travelling-salesman-genetic github similar
• qfpl/consy github similar
• qfpl/church-maybe github similar
• ChrisPenner/concurrency-comparison github similar
• philzook58/typelevel-rational github similar
• ChrisPenner/free-contravariant github similar
• ollef/incrementalism github similar
• ChrisPenner/jsonf github similar
• LightAndLight/recursion-schemes-phoas github similar
• LightAndLight/learn-vulkan github similar
• ChrisPenner/sheets github similar
• jonsterling/lecture-notes github similar
• mstksg/functor-products github similar