- United Kingdom
-
16:55
(UTC) - https://effectful.js.org
- @vitalii_akimov
Stars
- All languages
- Agda
- Assembly
- Bluespec
- Boogie
- C
- C#
- C++
- Clojure
- CoffeeScript
- Coq
- Dhall
- Elixir
- Emacs Lisp
- F#
- F*
- Go
- Grammatical Framework
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Koka
- LLVM
- Mercury
- OCaml
- Oz
- PHP
- Pony
- Prolog
- Python
- R
- Racket
- Rocq Prover
- Rust
- SMT
- Sail
- Scala
- Scheme
- Standard ML
- TeX
- TypeScript
- Verilog
1
star
written in Sail
Clear filter