Similar repositories to beastaugh/hatt:
beastaugh/hatt
github
similar
gibiansky/IHaskell
github
similar
pixijs/pixi.js
github
similar
kwf/Presburger
github
similar
tootsuite/mastodon
github
similar
ec-jones/presburger
github
similar
Zdancewic/linearity
github
similar
felipeperet/logic
github
similar
a-nikolaev/jump
github
similar
samuelgruetter/coq-smt-notations
github
similar
beerose/proof-checker
github
similar
nukata/little-scheme
github
similar
W95Psp/verified-abstract-interpreter
github
similar
francoisschwarzentruber/prooffold
github
similar
jmid/regexpanalyser
github
similar
thery/T2048
github
similar
gregr/first-order-miniKanren
github
similar
termite-analyser/llvm2smt
github
similar
c-cube/quip
github
similar
jaspervdj/b-tree
github
similar
thautwarm/Sequent.jl
github
similar
craff/pacomb
github
similar
aspiwack/peppermint-prover
github
similar
clarus/coq-of-js
github
similar
ReactTraining/react-router
github
similar
Tritlo/Agricola
github
similar
ayberkt/tinyrw
github
similar
Chobbes/Hipster
github
similar
ezyang/groom
github
similar
NorfairKing/microsmos
github
similar
Tritlo/Nook
github
similar
precog/quasar
github
similar
danistefanovic/build-your-own-x
github
similar
haskell-lisp/husk-quick-start
github
similar
ocramz/matrix-market-attoparsec
github
similar
GaloisInc/cryptol-verifier
github
similar
glguy/kami-solver
github
similar
tmcdonell/Lol-accelerate
github
similar
matterhorn-chat/mattermost-api-gen
github
similar
plow-technologies/icfp-contest-2016
github
similar