Similar repositories to atlang/ace:

• atlang/ace github similar
• akyoto/flua github similar
• clf/lollimon github similar
• standardml/twelf github similar
• samth/gradual-typing-bib github similar
• pikatchu/LinearML github similar
• wyvernlang/wyvern github similar
• granule-project/granule github similar
• hazelgrove/hazel github similar
• emina/rosette github similar
• CakeML/cakeml github similar
• fetlang/fetlang github similar
• flix/flix github similar
• diku-dk/futhark github similar
• grain-lang/grain github similar
• coq/coq github similar
• reasonml/reason github similar
• carbon-language/carbon-lang github similar