MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
OCaml Language Server Protocol implementation
TLS in pure OCaml
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Process pools for OCaml
The repository host gives no description.