Similar repositories to moon-chilled/ats-freestanding:
moon-chilled/ats-freestanding
github
similar
metasepi/idiomaticca
github
similar
steinwaywhw/ats-session-playground
github
similar
xanadu-lang/xinterp
github
similar
jats-ug/practice-ats
github
similar
githwxi/ATS-Anairiats
github
similar
d4v3y5c0n3s/Goldelish-Engine
github
similar
wdblair/overture
github
similar
steinwaywhw/ats-sessions
github
similar
mephistopheles-8/atshtml
github
similar
steinwaywhw/ats-parcc
github
similar
vmchale/ats-format
github
similar
vmchale/edit-distance
github
similar
baracoder/dotnet2nix
github
similar
xran-deex/ats-http
github
similar
Hibou57/PostiATS-Utilities
github
similar
metasepi/c2ats
github
similar
joelburget/lvca
github
similar
dsyme/fabulous-adaptive
github
similar
githwxi/ATS-Temptory
github
similar
xanadu-lang/xanadu
github
similar
coord-e/ccc
github
similar
sparverius/ats-acc
github
similar
biotomas/ipasir
github
similar
gallettilance/magnificATS
github
similar
snowleopard/selective-ocaml
github
similar
vmchale/atspkg
github
similar
evdenis/verker
github
similar
querycert/qcert
github
similar
fpiot/arduino-ats
github
similar
ats-lang/ATS-CodeBook
github
similar
ocaml-multicore/multicore-opam
github
similar
kazuho/picogc
github
similar
ManticoreProject/manticore
github
similar
vmchale/cpkg
github
similar
mmcqd/pure
github
similar
rod-chapman/SPARKNaCl
github
similar
abella-prover/abella
github
similar
robbertkrebbers/ch2o
github
similar
fraunhoferfokus/acsl-by-example
github
similar