Similar repositories to fare/gerbil-crypto:
fare/gerbil-crypto
github
similar
danistefanovic/build-your-own-x
github
similar
reedjones/vsc-glow-lang
github
similar
fare/gerbil-ethereum
github
similar
vyzo/gerbil-directory
github
similar
rocketnia/fexpress
github
similar
fare/gerbil-utils
github
similar
Glow-Lang/glow
github
similar
michaelballantyne/faster-miniKanren
github
similar
namin/dot
github
similar
janestreet/async
github
similar
mattam82/Coq-Equations
github
similar
wilbowma/cur
github
similar
nick8325/quickspec
github
similar
DP-3T/dp3t-app-ios-demo
github
similar
stedolan/counterexamples
github
similar
agda/agda-categories
github
similar
angrykoala/awesome-esolangs
github
similar
hazelgrove/hazel
github
similar
forest-lang/forest-compiler
github
similar
vyzo/gerbil
github
similar
jupyter/colaboratory
github
similar
NixOS/nixos-hardware
github
similar
OpenLogicProject/OpenLogic
github
similar
reanimate/reanimate
github
similar
grin-compiler/grin
github
similar
webyrd/Barliman
github
similar
triska/the-power-of-prolog
github
similar
gambit/gambit
github
similar
lexi-lambda/hackett
github
similar
arclanguage/anarki
github
similar
plfa/plfa.github.io
github
similar
tweag/nickel
github
similar
libp2p/specs
github
similar
clash-lang/clash-compiler
github
similar
jupyterhub/zero-to-jupyterhub-k8s
github
similar
vvaltchev/tilck
github
similar
ShawnDEvans/smbmap
github
similar
haskell-servant/servant
github
similar
leanprover/lean4
github
similar