Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
47,133 repositories indexed
1–24 of 44 · Most stars
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Irmin is a distributed database that follows the same design principles as Git
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
- ida-plugin
- taint-analysis
- reverse-engineering
- disassembly
Context sensitive completion for OCaml in Vim and Emacs
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Universal toplevel for OCaml
OCaml Language Server Protocol implementation
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
OCaml project generator.
- spin
- ocaml
- reason
- template
Automated S-expression conversion
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml implementation of the DNS protocol
- ocaml
- dns
- mirageos
- unikernel
Lwt Translations of the Async Code Examples in Real World OCaml
- ocaml
- lwt
OCaml code generator plugin for the Cap'n Proto serialization framework
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Template for an ocaml project with modern tooling
- ocaml
Simple hash algorithms in OCaml
- hash
- ocaml
- sha1
- sha256
mustache.js logic-less templates in OCaml
- ocaml
- mustache-templates
- mustache