Pinned Repositories
base
Standard library for OCaml
book
V2 of Real World OCaml
hello-world
The "hello world" project from the github guide
learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop
maintenance
metamath-book
Source of metamath book
metamath-exe
Metamath program - source code for the Metamath executable
mmverify.py
Metamath verifier in Python
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml.org
The official OCaml website.
benjub's Repositories
benjub/base
Standard library for OCaml
benjub/book
V2 of Real World OCaml
benjub/hello-world
The "hello world" project from the github guide
benjub/learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop
benjub/maintenance
benjub/metamath-book
Source of metamath book
benjub/metamath-exe
Metamath program - source code for the Metamath executable
benjub/mmverify.py
Metamath verifier in Python
benjub/ocaml
The core OCaml system: compilers, runtime system, base libraries
benjub/ocaml.org
The official OCaml website.
benjub/set.mm
Metamath source file for logic and set theory
benjub/setup-java
Set up your GitHub Actions workflow with a specific version of Java
benjub/Spoon-Knife
This repo is for demonstration purposes only.