ulugbekna

AFL

american fuzzy lop - a security-oriented fuzzer

angr

A powerful and user-friendly binary analysis platform!

angr-dev

Some helper scripts to set up an environment for angr development.

beautiful-jekyll

:sparkles: Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll

boolean-expr-json

bos

Basic OS interaction for OCaml

brr

Browser programming toolkit for OCaml

cle

CLE Loads Everything (at least, many binary formats!)

CS438_Project

Decentralized systems engineer course final project

CS451-2021-project

The official repo of the Distributed Algorithm course (CS451) project - Fall 2021

efftester

Effect-Driven Compiler Tester for OCaml

findex

Index and query files for keywords

fmt

OCaml Format pretty-printer combinators

fuzzing

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

httpaf

A high performance, memory efficient, and scalable web server written in OCaml

lwt

OCaml promises and concurrent I/O

memtrace_viewer_with_deps

Interactive memory profiler based on Memtrace

metals

Scala language server with rich IDE features 🚀

nd2reader

Pure Python library for reading NIS Elements ND2 images and metadata

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

ocaml-git

Pure OCaml Git format and protocol

ocamlverse.github.io

Documentation of everything relevant in the OCaml world

omd

a (hopefully efficient) Markdown frontend in "simple OCaml" (i.e., no external dependencies)

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-bin

Binary packages for OPAM with local and remote repositories

pyelftools

Parsing ELF and DWARF in Python

pyvex

Python bindings for Valgrind's VEX IR.

rust-analyzer

A Rust compiler front-end for IDEs