ocaml-lang
Popular repositories Loading
-
irmin
irmin PublicForked from mirage/irmin
Irmin is a distributed database that follows the same design principles as Git
OCaml
-
ocaml
ocaml PublicForked from ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
OCaml
-
real-world-ocaml-2end
real-world-ocaml-2end PublicForked from realworldocaml/book
V2 of Real World OCaml
OCaml
-
dune-tapl
dune-tapl PublicForked from mspertus/TAPL
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
OCaml
-
OCaml-Programming
OCaml-Programming PublicForked from cs3110/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
OCaml
-
bisect_ppx
bisect_ppx PublicForked from aantron/bisect_ppx
Code coverage for OCaml and ReScript
OCaml
Repositories
- writing-a-c-compiler-tests Public Forked from nlsandler/writing-a-c-compiler-tests
Test cases for Writing a C Compiler
ocaml-lang/writing-a-c-compiler-tests’s past year of commit activity - hydra-battles Public Forked from coq-community/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
ocaml-lang/hydra-battles’s past year of commit activity - semgrep Public Forked from semgrep/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
ocaml-lang/semgrep’s past year of commit activity - vscoq Public Forked from coq-community/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
ocaml-lang/vscoq’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…