Similar repositories to jwiegley/categorical:
jwiegley/categorical
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
ekmett/codebruijn
github
similar
conal/data-treify
github
similar
pchiusano/datalog-refactoring
github
similar
jwiegley/runmany
github
similar
jfischoff/llvm-quasi
github
similar
ezyang/groom
github
similar
andrewthad/lens-prelude
github
similar
robinp/align
github
similar
aquynh/capstone
github
similar
meilisearch/MeiliSearch
github
similar
tuvtran/project-based-learning
github
similar
hecrj/iced
github
similar
tootsuite/mastodon
github
similar
ollef/incrementalism
github
similar
LightAndLight/learn-vulkan
github
similar
isovector/compiling-to-categories-redux
github
similar
tathougies/closed-world
github
similar
grin-compiler/agda-grin
github
similar
philzook58/shit-ccc
github
similar
ekmett/compiler
github
similar
bennofs/reflex-qml
github
similar
GaloisInc/language-sally
github
similar
mstksg/pandoc-sync
github
similar
kframework/matching-logic-prover
github
similar
nikita-volkov/th-instance-reification
github
similar
cartazio/safeword
github
similar
conal/talk-2016-generic-parallel-scan
github
similar
isovector/th-dict-discovery
github
similar
cleverca22/cachecache
github
similar
cdepillabout/cps-vs-codensity-vs-reflection-without-remorse
github
similar
konn/subcategories
github
similar
isovector/type-diagrams
github
similar
isovector/pplmonad-mirror
github
similar
ChrisPenner/ffs
github
similar
ekmett/intervals
github
similar
Profpatsch/libnix-haskell
github
similar
fpco/fuzzcheck
github
similar