Kakadu's Stars
ventoy/Ventoy
A new bootable USB solution.
raysan5/raylib
A simple and easy-to-use library to enjoy videogames programming
miloyip/game-programmer
A Study Path for Game Programmer
rui314/chibicc
A small C compiler
amperser/proselint
A linter for prose.
moby/hyperkit
A toolkit for embedding hypervisor capabilities in your application
banach-space/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
labwc/labwc
A Wayland window-stacking compositor
cmuratori/refterm
Reference monospace terminal renderer
IUCompilerCourse/Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
kennycason/kumo
Kumo - Java Word Cloud
niftools/nifskope
A git repository for nifskope.
stedolan/counterexamples
Counterexamples in Type Systems
JoshParnell/ltheory
Limit Theory
craigfe/progress
Progress bar library for OCaml
noti0na1/socc
Simple C Compiler in OCaml
thierry-martinez/metapp
Meta-preprocessor for OCaml
BlackPhrase/SugarBombEngine
andreypopp/type-systems
Playing with type systems
jbdoderlein/BetterOCaml
A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.
vyorkin/tiger
:construction: A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
Admiliral/DBM-for-Sirus.su
ДБМ
mjambon/ocaml-layer
Make your own OCaml base image for fast CI jobs
EliLillyCo/github-actions-post-to-pr
Github Actions Post to Pull Request with Previous Build Result Comparison
theHamsta/faster-beamer
An incremental compiler for LaTeX Beamer presentations
kkd26/SiFun
Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher-Rank Polymorphism).
fxpw/AckisRecipeList-for-sirus
joelburget/monaco-ocaml
Ocaml bindings to Microsoft's Monaco editor
YueLiPicasso/OCanrenTutorial
A tutorial on using OCanren
Octachron/ocaml
Read-only mirror of INRIA SVN