Similar repositories to rrmath/lit:
rrmath/lit
github
similar
skieffer/ahop
github
similar
hypotext/syntax
github
similar
ucl-bug/jaxdf
github
similar
SMLFamily/The-Definition-of-Standard-ML
github
similar
andrejbauer/marshall
github
similar
mattam82/Coq-Equations
github
similar
Andromedans/andromeda
github
similar
AndrasKovacs/elaboration-zoo
github
similar
fused-effects/fused-effects
github
similar
AugurProject/augur-core
github
similar
B-Lang-org/bsc
github
similar
skriegman/reconfigurable_organisms
github
similar
UniMath/UniMath
github
similar
GaloisInc/cryptol
github
similar
jonathan-laurent/AlphaZero.jl
github
similar
hundredrabbits/Ronin
github
similar
hypotext/notation
github
similar
HoTT/book
github
similar
tlaplus/tlaplus
github
similar
dmjio/miso
github
similar
weavejester/hiccup
github
similar
westes/flex
github
similar
seL4/seL4
github
similar
Scanate/EthList
github
similar
unisonweb/unison
github
similar
redecentralize/alternative-internet
github
similar
penrose/penrose
github
similar
HackerPoet/NonEuclidean
github
similar
tmux-plugins/tpm
github
similar
github/semantic
github
similar
fantasyland/fantasy-land
github
similar
openai/gpt-3
github
similar
facebook/infer
github
similar
magenta/magenta
github
similar
ethereum/solidity
github
similar
dgraph-io/dgraph
github
similar
facebook/flow
github
similar
markedjs/marked
github
similar
openai/gym
github
similar