|
|
WebAssembly |
64 |
OCaml WebAssembly Interpreter |
Apr 16, 2023 |
|
|
OCaml |
2 |
ocaml chip8 interpreter |
Jan 21, 2022 |
|
|
OCaml |
6 |
OCaml-like interpreter written in OCaml |
Jul 17, 2022 |
|
|
OCaml |
12 |
Rockstar interpreter in OCaml |
Oct 02, 2022 |
|
|
Rust |
10 |
Interpreter of OCaml subset |
Apr 01, 2023 |
|
|
OCaml |
4 |
Interpreter of ocaml bytecode. |
Jan 02, 2023 |
|
|
OCaml |
7 |
prolog interpreter in ocaml |
Jan 27, 2023 |
|
|
OCaml |
10 |
Lambda calculus interpreter in OCaml |
May 03, 2023 |
|
|
OCaml |
4 |
Lisp interpreter implemented in OCaml |
Jan 04, 2023 |
|
|
OCaml |
3 |
A Scheme Interpreter in OCaml |
Sep 14, 2021 |
|
|
OCaml |
4 |
Yet another scheme interpreter in OCaml |
Jan 22, 2019 |
|
|
OCaml |
2 |
Haskell interpreter implementation challenge in OCaml |
Oct 06, 2013 |
|
|
Haskell |
2 |
OCaml-like interpreter written in Haskell |
Dec 28, 2019 |
|
|
OCaml |
3 |
Project of UniPi for an Ocaml Interpreter |
Jan 28, 2023 |
|
|
OCaml |
2 |
A brainfuck interpreter in OCaml, on Emacs |
Dec 22, 2020 |
|
|
OCaml |
7 |
A custom Scheme Interpreter designed in OCaml. |
May 03, 2023 |
|
|
OCaml |
2 |
A toy Lisp/Scheme interpreter in OCaml |
Dec 16, 2023 |
|
|
OCaml |
8 |
Ocaml code from Writing an Interpreter in Go |
Oct 21, 2021 |
|
|
OCaml |
2 |
An interpreter for the Tiger programming language written in OCaml |
Feb 05, 2023 |
|
|
OCaml |
125 |
Cabal like system for OCaml |
Jun 22, 2022 |
|
|
OCaml |
6 |
Deeplang type system based on ocaml |
Sep 09, 2022 |
|
|
TeX |
260 |
Unix system programming in OCaml book |
Aug 07, 2022 |
|
|
OCaml |
1242 |
A composable build system for OCaml. |
Aug 11, 2022 |
|
|
None |
2 |
A composable build system for OCaml. |
Mar 28, 2023 |
|
|
OCaml |
10 |
An algebra system written in OCaml |
Jul 07, 2022 |
|
|
OCaml |
5 |
The core OCaml system: compilers, runtime system, base libraries |
Feb 12, 2022 |
|
|
OCaml |
8 |
The core OCaml system: compilers, runtime system, base libraries |
Aug 30, 2022 |
|
|
OCaml |
12 |
The core OCaml system: compilers, runtime system, base libraries |
Mar 23, 2022 |
|
|
OCaml |
3935 |
The core OCaml system: compilers, runtime system, base libraries |
Aug 19, 2022 |
|
|
OCaml |
3 |
The core OCaml system: compilers, runtime system, base libraries |
Mar 30, 2021 |
|
|
OCaml |
18 |
The core OCaml system: compilers, runtime system, base libraries |
Jan 29, 2022 |
|
|
OCaml |
5 |
The core OCaml system: compilers, runtime system, base libraries |
Jun 13, 2022 |
|
|
OCaml |
2 |
The core OCaml system: compilers, runtime system, base libraries |
Nov 08, 2021 |
|
|
OCaml |
2 |
The core OCaml system: compilers, runtime system, base libraries |
Dec 15, 2021 |
|
|
Haskell |
11 |
An interpreter for Gödel's System T |
Dec 28, 2021 |
|
|
Ruby |
7 |
An L-system parser and interpreter |
May 22, 2021 |
|
|
OCaml |
3 |
System fetcher written in OCaml for *BSD |
Dec 31, 2022 |
|
|
OCaml |
3 |
Matrix Module and Arithmetic system for Ocaml. |
Jun 11, 2015 |
|
|
OCaml |
4 |
[unfinished] structured, hierarchical log system for OCaml |
Dec 01, 2021 |
|
|
None |
43 |
RISC-V port of the OCaml system |
Jan 28, 2023 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |
|
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |