Similar repositories to metasepi/idiomaticca:
bridgedotnet/Bridge
github
similar
danistefanovic/build-your-own-x
github
similar
metasepi/idiomaticca
github
similar
superfly/litefs
github
similar
nhyne/zio-bazel
github
similar
moon-chilled/ats-freestanding
github
similar
dmjio/hello-rust-haskell-nix
github
similar
steinwaywhw/ats-session-playground
github
similar
bishabosha/mini-c-lang
github
similar
edgan8/clampcheck
github
similar
groupoid/anders
github
similar
vapourismo/opam-nix-integration
github
similar
jats-ug/practice-ats
github
similar
githwxi/ATS-Anairiats
github
similar
trommler/VeriGHC
github
similar
wdblair/overture
github
similar
cquiroz/scalajs-react-virtualized
github
similar
Lapin0t/induction-recursion
github
similar
elpinal/tutor-ml-modules
github
similar
steinwaywhw/ats-sessions
github
similar
jwiegley/hello-rust
github
similar
wenyuzhao/Lambda
github
similar
djzin/rustc-optimization
github
similar
akshayknarayan/sessh
github
similar
shanavas786/kalavara
github
similar
alexarchambault/mill-native-image
github
similar
ocaml-multicore/tezos
github
similar
haesbaert/ocaml-mpsc
github
similar
steinwaywhw/ats-parcc
github
similar
xanadu-lang/xinterp
github
similar
VirtuslabRnD/scala3-coroutines
github
similar
vmchale/ats-format
github
similar
vmchale/edit-distance
github
similar
baracoder/dotnet2nix
github
similar
haskell-streaming/streaming-concurrency
github
similar
examachine/parallpairs
github
similar
ayberkt/Mini-TT
github
similar
ericfinster/catt
github
similar
getshaka-org/shaka
github
similar
harendra-kumar/concise-haskell
github
similar