|
|
OCaml |
5 |
Widgets for browser applications written in OCaml (also see Eliom widgets) |
May 15, 2020 |
|
|
None |
47 |
Wiki for ocaml compiler internals |
May 03, 2022 |
|
|
OCaml |
67 |
Toy compiler for OCaml Meetup |
Feb 20, 2021 |
|
|
OCaml |
3 |
Ocaml compiler for corewars redcode |
Mar 28, 2023 |
|
|
OCaml |
5 |
some ocaml compiler tests |
Aug 30, 2020 |
|
|
OCaml |
11 |
jQuery Binding for Eliom. |
May 15, 2020 |
|
|
OCaml |
257 |
Documentation compiler for OCaml and Reason |
Jun 29, 2022 |
|
|
OCaml |
172 |
Formal verification of OCaml programs |
Jun 23, 2022 |
|
|
OCaml |
8 |
Eliom example application |
Jan 28, 2023 |
|
|
OCaml |
196 |
An Elm to OCaml compiler |
Feb 10, 2023 |
|
|
OCaml |
832 |
Compiler from OCaml to Javascript. |
Apr 20, 2023 |
|
|
OCaml |
42 |
A Deductive Verification Tool for OCaml Programs |
Sep 05, 2022 |
|
|
OCaml |
3 |
A compiler implementation for subset of OCaml. |
Mar 05, 2023 |
|
|
Jupyter Notebook |
70 |
A benchmark suite for the OCaml compiler |
Jul 21, 2022 |
|
|
Jupyter Notebook |
2 |
A benchmark suite for the OCaml compiler |
Mar 04, 2023 |
|
|
OCaml |
2 |
Multi-platform CI for the OCaml compiler |
May 22, 2023 |
|
|
C++ |
29 |
[Optimism] (Slightly) modified Solidity compiler |
Jul 14, 2022 |
|
|
C++ |
4 |
Compiler Generator Coco/R modified for VerilogEbnf |
Oct 29, 2022 |
|
|
C |
3 |
Compiler Design Lab Programs |
Apr 21, 2022 |
|
|
OCaml |
2 |
Constant propagation on simple Ocaml programs. |
May 17, 2021 |
|
|
Roff |
74 |
build-once run-anywhere OCaml programs |
Oct 18, 2022 |
|
|
OCaml |
3 |
Translating OCaml programs into MCore files |
Apr 30, 2021 |
|
|
Java |
119 |
Experimental static compiler for Java programs. |
Mar 24, 2023 |
|
|
C++ |
2 |
Cx Compiler: Compiler for modified C language to i386 DOS executables |
Apr 10, 2023 |
|
|
None |
12 |
OCaml cross-compiler based on mingw |
Jan 31, 2020 |
|
|
OCaml |
7 |
A wiki in Eliom. |
Feb 26, 2021 |
|
|
OCaml |
2 |
Ocaml Compiler for a Mini Functional Programming Language |
Mar 19, 2023 |
|
|
OCaml |
52 |
Just In Time compiler for OCaml native toplevel |
Dec 12, 2022 |
|
|
OCaml |
46 |
self-hosted compiler for a subset of OCaml |
Aug 03, 2022 |
|
|
OCaml |
7 |
A set of micro-benchmarks for OCaml compiler |
Apr 19, 2019 |
|
|
OCaml |
2 |
An Eliom library for Eve Online |
May 23, 2016 |
|
|
C |
15 |
Modified or extracted from other programs |
Nov 30, 2020 |
|
|
OCaml |
25 |
Concurrency property fuzzing tool for Lwt-based OCaml programs |
May 02, 2022 |
|
|
OCaml |
5 |
A C++(light) compiler written in OCaml |
Jan 18, 2018 |
|
|
OCaml |
2 |
A toy C compiler written in OCaml |
Mar 15, 2023 |
|
|
OCaml |
2 |
A C nanopass compiler written in OCaml |
Sep 04, 2018 |
|
|
Shell |
15 |
Opam2 remote for beta versions of the OCaml compiler |
Jan 11, 2022 |
|
|
OCaml |
2 |
A backend for the OCaml compiler which emits JavaScript. |
Mar 12, 2021 |
|
|
OCaml |
4 |
A backend for the OCaml compiler which emits JavaScript. |
Dec 24, 2018 |
|
|
OCaml |
9 |
Runtime and tools for the eliom language |
Jun 04, 2020 |
|
|
OCaml |
6 |
Dissect OCaml compiled programs, and weight their content |
Mar 28, 2023 |
|
|
OCaml |
26 |
Dissect OCaml compiled programs, and weight their content |
Apr 30, 2023 |
|
|
OCaml |
7 |
Generates an OPAM compiler remote for active GitHub OCaml PRs |
Sep 22, 2018 |
|
|
C++ |
2 |
An OCaml-like Language Compiler. For WHUCS's Compilers Class Assignments. |
Oct 10, 2023 |
|
|
C++ |
70 |
A language and compiler for irregular tensor programs. |
Aug 20, 2022 |
|
|
C |
127 |
A compiler for functional programs on serialized data |
May 23, 2023 |
|
|
OCaml |
83 |
Experiment on how to bootstrap the OCaml compiler |
May 05, 2023 |
|
|
OCaml |
2 |
using eliom to create web application |
Jan 27, 2023 |
|
|
Vala |
15 |
A modified Vala compiler to support AVR microcontrollers |
Mar 23, 2022 |
|
|
Rust |
489 |
Rust virtual machine and JIT compiler for eBPF programs |
Aug 07, 2022 |