- United Kingdom
-
12:50
(UTC +01:00) - 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
7
stars
written in HTML
Clear filter
Defines a common protocol for debug adapters.
The Power of Prolog: Introduction to modern Prolog
Asynchronous iteration for JavaScript
Built-in exact decimal numbers for JavaScript
Proposal for a Cancellation API for ECMAScript
A proof-of-concept SWI-Prolog implementation of Web Prolog