Similar repositories to TheMatten/hask:
TheMatten/hask
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
plt-hokusai/ahc
github
similar
cozodb/cozo
github
similar
gibiansky/IHaskell
github
similar
Eloston/ungoogled-chromium
github
similar
brendanzab/language-garden
github
similar
inanna-malick/hgit
github
similar
ekmett/make
github
similar
masaeedu/co-optics
github
similar
BebeSparkelSparkel/biparsing
github
similar
tdietert/lambda-pi
github
similar
purescript/registry
github
similar
bkomuves/nanohs
github
similar
tmpim/not-qtt-there-yet
github
similar
TOTBWF/MLogic
github
similar
tootsuite/mastodon
github
similar
postalhq/postal
github
similar
aatxe/diet-coke
github
similar
ubuntu/microk8s
github
similar
k6io/k6
github
similar
raptazure/kweh
github
similar
meilisearch/MeiliSearch
github
similar
haskell-game/tiny-games-hs
github
similar
re-xyr/speff
github
similar
ocharles/ghc-nix
github
similar
sweirich/lennart-lambda
github
similar
masaeedu/agda-learning
github
similar
jmgimeno/haskell-playground
github
similar
conal/generic-parallel-functional
github
similar
jonsterling/lean4-sgdt
github
similar
elpinal/subtyping-agda
github
similar
kckennylau/mathlib4
github
similar
isovector/httw
github
similar
jonsterling/agda-stc
github
similar
ekmett/parsnip
github
similar
mcneissue/purescript-monoidal
github
similar
LightAndLight/idris-lambda-reflection
github
similar
phadej/staged-gg
github
similar