Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
Irmin is a distributed database that follows the same design principles as Git
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
A modern supercompiler for call-by-value functional languages
The Ott tool for writing definitions of programming languages and calculi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Tutorial on Multicore OCaml parallel programming with domainslib
- ocaml
- multicore
Terminal manipulation library for OCaml
- ocaml
The Frenetic Programming Language and Runtime System
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
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
Error-recovering streaming HTML5 and XML parsers
A friendly and minimalist link sharing website
A dumb OCaml logger
Non-blocking streaming Unicode codec for OCaml
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
Declarative terminal graphics for OCaml
Minimalistic monad syntax for OCaml.
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics