Ivan Gotovchits's repositories
owl
Owl - OCaml Scientific Computing @ http://ocaml.xyz
watchdog
Python library and shell utilities to monitor filesystem events.
ocaml-inotify
OCaml bindings for inotify.
dune
A composable build system for OCaml.
setup-ocaml
GitHub Action for the OCaml programming language
lwt-parallel
Lwt-enabled distributed computing library
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
piqi-ocaml
Protocol Buffers, JSON, XML data serialization system for OCaml
piqi
Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion
merlin
Context sensitive completion for OCaml in Vim and Emacs
framespector
stack frame inspector
bap-mode
An Emacs major mode for BAP's intermediate language
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-radare2
OCaml interface to radare2, use r2 from within OCaml, much more fun
ocaml.org
Implementation of the ocaml.org website.
z3
The Z3 Theorem Prover
ocamlbuild
OCamlbuild
termtosvg
Record terminal sessions as SVG animations
utop
Universal toplevel for OCaml
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
ocamlverse
Documentation of everything relevant in the OCaml world
bap-server
bap RPC server
core-lwt
Lwt in Janestreet's Core style
docs
Documentation for CoreOS projects
bap-2017-workshop
Slides and code from the BAP 2017 workshop in Cylab's partners conference
bap-bindings
C Bindings to BAP