pmundkur Goto Github PK

atdgen

Generates optimized boilerplate OCaml code for JSON and Biniou IO from type definitions

biniou

Extensible binary data format, like JSON but faster

bluespec_bsv_formal_semantics

Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document

cherios

CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities

cil

C Intermediate Language

compcert

The CompCert C verified compiler

disco

a Map/Reduce framework for distributed computing

efi-install-guide-source

The MediaWiki source pages for "Sakaki's EFI Install Guide" (as hosted on the Gentoo wiki)

flowcaml

Flowcaml compiler

fp

ocaml code-generation for binary format parsers/constructors from a specification

genode

Genode OS Framework

genode-manual

Reference manual for the Genode OS Framework

genode-world

Collection of community-maintained components for Genode

ggg

Generalized Generative Grammar

goparsebsv

A standalone parser for BSV (Bluespec SystemVerilog) written in Go

libcrm114

C library version of CRM114, and a Python binding

libssh

lp_solve

Mirror of lp_solve (http://lpsolve.sourceforge.net/5.5/). Please file a bug if code is out of date.

mcb

Mathematical Components (the Book)

mochiweb

MochiWeb is an Erlang library for building lightweight HTTP servers.

ocaml

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

odbus

ocaml dbus implementation (now folded into sonet)

odisco

Library for implementing Disco jobs in ocaml.

ogeoip

OCaml interface to GeoIP databases from MaxMind.

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.

opam-repository

Package descriptions for OPAM

ovs

Open vSwitch

oxml

ocaml sax xml parser

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

polyml

Poly/ML