Similar repositories to timjb/set-theory-prover:
Gabriel439/delta-lambda
github
similar
timjb/set-theory-prover
github
similar
sol/uu-parsinglib
github
similar
robdockins/canonical-lf
github
similar
strake/comprehensions-ghc
github
similar
jozefg/hlf
github
similar
etorreborre/ingestion
github
similar
AndrasKovacs/trie-vector
github
similar
jgm/hscommonmark
github
similar
UnkindPartition/lexer-applicative
github
similar
mboes/dedukti
github
similar
ollef/parsix
github
similar
ekmett/charset
github
similar
Lemmih/fvg
github
similar
gusbicalho/effects-toy
github
similar
nick8325/equinox
github
similar
chrisdone/streaming-parsers
github
similar
soupi/hen
github
similar
jwiegley/logging
github
similar
jgm/HeX
github
similar
jgm/standalone-html
github
similar
haskell-perf/numbers
github
similar
mikeizbicki/homoiconic
github
similar
GaloisInc/lean-haskell-bindings
github
similar
NorfairKing/cursor
github
similar
chrisdone/prana
github
similar
andreasabel/helf
github
similar
phadej/idioms-plugins
github
similar
snoyberg/githash
github
similar
alpheccar/HPDF
github
similar
ChrisPenner/unipatterns
github
similar
jyp/prettiest
github
similar
osa1/MANTI
github
similar
evertedsphere/noether
github
similar
hansroland/CoreLang
github
similar
Twinside/FontyFruity
github
similar
lukeg101/lplzoo
github
similar
UnkindPartition/tasty-golden
github
similar
Zankoku-Okuno/octopus
github
similar
tov/alms
github
similar