The Home of Community
BinaryAnalysisPlatform / bap
Binary Analysis Platform
BinaryAnalysisPlatform / bap-plugins
BAP Plugins Repository
ocaml / opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
rgrinberg / opium
Sinatra like web toolkit for OCaml
c-cube / ocaml-containers
A small standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.
frenetic-lang / ocaml-openflow
Serialization library for OpenFlow
brick-lang / brick-lang
The Brick language spec
clarus / coq-of-ocaml
Compiler of OCaml to Coq.
fp-ru / Lobby
обсуждение функционального программирования
frenetic-lang / frenetic
The Frenetic Programming Language and Runtime System
ptal / nominal-workbench
A prototype tool for experimenting nominal rewrite systems
mackwic / To.ml
Implementation in OCaml of the Toml minimal langage (https://github.com/mojombo/toml)