Similar repositories to bbarker/IntelliJATS:
bbarker/IntelliJATS
github
similar
danistefanovic/build-your-own-x
github
similar
August-Alm/ATS-Experiments
github
similar
steinwaywhw/ATS-CMake
github
similar
steinwaywhw/ats-redis
github
similar
ryantking/Joy-of-ATS
github
similar
steinwaywhw/nepls-15-demo
github
similar
alex-ren/org.ats-lang.anairiats.ide
github
similar
alex-ren/org.ats_lang
github
similar
Hibou57/ats2-gtksourceview-language-support
github
similar
steinwaywhw/ats-mode-sublimetext
github
similar
githwxi/ATS-Postiats-test
github
similar
wdblair/ATS-Postiats
github
similar
steinwaywhw/ats-session-playground
github
similar
marklemay/calculus-of-constructions
github
similar
urweb/world
github
similar
StanzaOrg/lbstanza
github
similar
ashalkhakov/colorado
github
similar
steinwaywhw/ats-sessions
github
similar
ats-lang/ATS-Category
github
similar
bakpakin/ats-lua
github
similar
vmchale/ats-format
github
similar
ats-lang/ats-lang.github.io
github
similar
mrd/terrier
github
similar
Hibou57/PostiATS-Utilities
github
similar
gallettilance/magnificATS
github
similar
githwxi/ATS-Postiats-contrib
github
similar
gerard-/cover
github
similar
deech/ATSPresentation
github
similar
githwxi/ATS-Temptory
github
similar
ats-lang/ATS-CodeBook
github
similar
vmchale/atspkg
github
similar
OPLSS/oplss-notes-2018
github
similar
fpiot/arduino-ats
github
similar
githwxi/ATS-Xanadu
github
similar
githwxi/ATS-Postiats
github
similar
mirage/digestif
github
similar
rod-chapman/SPARKNaCl
github
similar
OPLSS/introduction-to-algebraic-effects-and-handlers
github
similar
OCamlPro/alt-ergo
github
similar