-
cn Public
Forked from rems-project/cnCN separation logic refinement type system for C
OCaml Other UpdatedMar 25, 2026 -
cn-pKVM-buddy-allocator-case-study Public
Forked from rems-project/cn-pKVM-buddy-allocator-case-studyC UpdatedMar 21, 2026 -
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedMar 18, 2026 -
c-tree-carver Public
Forked from rems-project/c-tree-carverTree-carve C source tree given a root file/functions
C++ Other UpdatedOct 2, 2025 -
-
-
texpresso.vim Public
Forked from let-def/texpresso.vimNeovim mode for TeXpresso
Lua MIT License UpdatedFeb 21, 2024 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedFeb 12, 2024 -
ocaml-papi Public
Performance Application Programming Interface for OCaml
-
-
-
mirage-nat Public
Forked from mirage/mirage-natlibrary for network address translation intended for use with mirage unikernels
OCaml ISC License UpdatedApr 15, 2019 -
crowbar Public
Forked from stedolan/crowbarProperty fuzzing for OCaml
OCaml MIT License UpdatedApr 12, 2019 -
-
-
-
colorless-green-ideas Public
No description, website, or topics provided.
-
ocaml-cstruct Public
Forked from mirage/ocaml-cstructMap OCaml arrays onto C-like structs
OCaml UpdatedDec 13, 2017 -
coquille Public
Forked from the-lambda-church/coquilleInteractive theorem proving with Coq in vim.
Vim Script ISC License UpdatedFeb 10, 2017 -
-
mirage-dev Public
Forked from mirage/mirage-devDevelopment OPAM repository for work-in-progress packages
Shell UpdatedNov 8, 2016 -
-
mirage-entropy Public
Forked from mirage/mirage-entropyEntropy driver for MirageOS
OCaml BSD 2-Clause "Simplified" License UpdatedNov 5, 2016 -
alcotest Public
Forked from mirage/alcotestA lightweight and colourful test framework
OCaml ISC License UpdatedNov 3, 2016 -
tsdl Public
Forked from dbuenzli/tsdlThin bindings to SDL for OCaml
OCaml ISC License UpdatedNov 3, 2016 -
topkg Public
Forked from dbuenzli/topkgThe transitory OCaml software packager
OCaml ISC License UpdatedNov 1, 2016 -
-
-
-
{{ message }}