Lists (32)
android
32 repositories
APL
18 repositories
asm
12 repositories
asmjit
2 repositories
awk
awk, sed, grep, command line text manipulation63 repositories
bible
12 repositories
book
23 repositories
chesskers
22 repositories
ed
70 repositories
forth
249 repositories
games
14 repositories
GitHub
4 repositories
gui
55 repositories
intel
3 repositories
jit
25 repositories
kbd
8 repositories
kobo
27 repositories
lisp
35 repositories
llvm
6 repositories
MCU
41 repositories
Pascal
Pascal, Oberon, Ada, Eiffel54 repositories
PL
116 repositories
prolog
35 repositories
shell
70 repositories
Slavic
16 repositories
sljit/dynasm
5 repositories
Smalltalk
36 repositories
vi
8 repositories
vm
5 repositories
web
21 repositories
wiki
4 repositories
мовно
19 repositories
Starred repositories
11
stars
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The core OCaml system: compilers, runtime system, base libraries
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A language that compiles to Bash and Windows Batch
Systems language with linear types and capability-based security.
✨Cross-platform set of tools for building native UIs with Reason/OCaml
moved from https://sourceforge.net/p/min-caml/code/
Compiler and tools for the L programming language
Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.