Block or report user

Organizations

@CTSRD-CHERI @discoproject @SRI-CSL
  • CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities

    C 3 Updated Apr 19, 2017
  • Genode OS Framework

    C++ 158 Updated Apr 4, 2017
  • C 1 Updated Mar 23, 2017
  • Reference manual for the Genode OS Framework

    Tcl 9 Updated Feb 16, 2017
  • ocaml

    Forked from ocaml/ocaml

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

    OCaml 357 Updated Jan 28, 2017
  • Collection of community-maintained components for Genode

    C++ 15 Updated Jan 28, 2017
  • C 33 Updated Nov 9, 2016
  • The CompCert C verified compiler

    Coq 1 50 Updated Sep 3, 2016
  • RISC-V Proxy Kernel

    C 47 Updated Jul 22, 2016
  • GNU toolchain for RISC-V, including GCC 5.2.0

    C 59 Updated Aug 11, 2015
  • Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document

    Haskell 3 Updated Aug 10, 2015
  • RISC-V Functional ISA Simulator

    C 77 Updated Aug 7, 2015
  • ovs

    Forked from openvswitch/ovs

    Open vSwitch

    C 882 Updated Apr 24, 2015
  • Simple asynchronous networking in ocaml.

    OCaml 9 Updated Sep 8, 2014
  • Package descriptions for OPAM

    OCaml 1 434 Updated Jun 20, 2014
  • ocaml code-generation for binary format parsers/constructors from a specification

    OCaml 6 4 Updated Jun 11, 2014
  • a Map/Reduce framework for distributed computing

    Erlang 5 247 Updated Jan 10, 2014
  • cil

    Forked from cil-project/cil

    C Intermediate Language

    OCaml 35 Updated Nov 6, 2013
  • Library for implementing Disco jobs in ocaml.

    OCaml 2 3 Updated Sep 8, 2013
  • opam

    Forked from 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.

    OCaml 1 172 Updated Jul 10, 2013
  • Flowcaml compiler

    OCaml 6 Updated Apr 11, 2013
  • C library version of CRM114, and a Python binding

    C 11 8 Updated Apr 7, 2013
  • MochiWeb is an Erlang library for building lightweight HTTP servers.

    Erlang 2 403 Updated Mar 25, 2013
  • biniou

    Forked from mjambon/biniou

    Extensible binary data format, like JSON but faster

    OCaml 9 Updated Aug 28, 2012
  • atdgen

    Forked from ashima/atdgen

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

    OCaml Updated Aug 18, 2012
  • OCaml interface to GeoIP databases from MaxMind.

    OCaml 1 3 Updated Oct 8, 2011
  • ocaml dbus implementation (now folded into sonet)

    OCaml 1 Updated Jul 22, 2009
  • ocaml sax xml parser

    OCaml 1 Updated Jul 14, 2009