Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Repository Index
47,133 repositories indexed
1–21 of 21 · Most stars
A composable build system for OCaml.
- build
- ocaml
- opam
- dune
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 lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Cooperative-threaded access to relational data
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
Web library for OCaml with support for HTTP/1.X / HTTP/2
- http
- http2
- http-client
- https
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
Less redundancy in type declarations and signatures
OCaml bindings to MariaDB, supporting the nonblocking API
Syntax extension for embedded SQL queries using PG'OCaml.
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Process pools for OCaml
Trivial/Tagless Polytypic Functions
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
Official OCaml port of Sqids. Generate short unique IDs from numbers.
- id-generator
- ocaml
- sqids
- hashids
Import and export CommonJS modules in js_of_ocaml
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics