Similar repositories to verse-lang/verse:
verse-lang/verse
github
similar
tootsuite/mastodon
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
Eloston/ungoogled-chromium
github
similar
oscarlab/graphene
github
similar
wormhole-foundation/wormhole
github
similar
juxt/crux
github
similar
hecrj/iced
github
similar
konn/iapplicative-builder
github
similar
oragono/oragono
github
similar
AkihiroSuda/lima
github
similar
xibbon/ci-blobs
github
similar
williamboman/mason.nvim
github
similar
zserge/lc3-forth
github
similar
kazatsuyu/reijou
github
similar
theoria24/salomizer
github
similar
fmlab-iis/coq-nbits
github
similar
losfair/violet-cosim
github
similar
carlosedp/scalautils
github
similar
S-H-GAMELINKS/rstd
github
similar
rinsuki/BadSwitch
github
similar
elpinal/duploids
github
similar
vehicle-lang/vehicle-formalisation
github
similar
ekmett/auth-rs
github
similar
thma/dependency-checker
github
similar
konn/lambda-pi
github
similar
tropical-group/tropical-geometry
github
similar
HTTPWorkshop/discussions
github
similar
srush/SemiRings
github
similar
dawn-lang/umcc
github
similar
danburkert/prost
github
similar
garyb/infer-rank-n-types
github
similar
favonia/ocaml-objdump
github
similar
saagarjha/binja-swift-demangler
github
similar
uds-psl/churchs-thesis-coq
github
similar
UniMath/SetHITs
github
similar
false-schemers/sharpF
github
similar
yeslogic/unicode-general-category
github
similar
mb64/xtt
github
similar