A-
latest
#11671292
ActorLang
latest
#20061365
agda
latest
#24702208
alda
latest
#3697284
Alfred
latest
#9105383
Anel
latest
#7164638
Aspidites
latest
#19242055
avalon-lang
latest
#8146240
brainfplus
latest
#20950362
Butterfly Language
latest
#12846204
Carbon Language
latest
#5245102
CORE-verifier
latest
#23547765
cx-docs
latest
#5963201
disco-lang
latest
#24606495
egison
latest
#18993216