andrejbauer / repl-in-browserLinks
Implementation of a language interpreter in the browser, using js_of_ocaml.
☆15Updated 7 years ago
Alternatives and similar repositories for repl-in-browser
Users that are interested in repl-in-browser are comparing it to the libraries listed below
Sorting:
- Small tensor library a la GLSL☆17Updated 2 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- ☆11Updated 2 years ago
- ☆12Updated 4 years ago
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Updated 6 years ago
- Js_of_ocaml bindings for the p5.js library☆11Updated last year
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- A simple λProlog interpreter☆20Updated 3 years ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- Algebraic structures in OCaml.☆23Updated 2 months ago
- Add UTF decoding support to the OCaml Stdlib☆16Updated 2 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- flexible 'let rec' generation for MetaOCaml☆26Updated 3 weeks ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Updated last year
- A Coq plugin that implements exceptions in Coq☆13Updated 4 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Updated 5 years ago
- Tactic for polynomial manipulations☆10Updated 3 weeks ago
- 🌳 Generate a fresh bonsai in your terminal☆25Updated 3 years ago
- ☆11Updated last month
- OCaml bindings to Minisat☆12Updated last year
- OCaml bindings to Windows' IOCP API☆16Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated 2 weeks ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆13Updated 2 weeks ago
- Formal Semantics for Why3☆18Updated 3 weeks ago
- J'ai plus mal à la tête maintenant☆26Updated this week
- ☆20Updated 6 years ago