Stars
- All languages
- APL
- ATS
- ActionScript
- Agda
- C
- C#
- C++
- COBOL
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- Frege
- Go
- HTML
- Haml
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Max
- Nearley
- Nemerle
- Nix
- Nu
- OCaml
- Objective-C++
- PHP
- PLpgSQL
- Prolog
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Vim Script
- WebAssembly
2
stars
written in ATS
Clear filter
ATS2: Unleashing the Potentials of Types and Templates