Beast code in Giters

Brian Campbell's starred repositories

Fork of http://compcert.inria.fr/

Language:CoqNOASSERTION2200

Library for binding to C libraries using pure OCaml

Language:OCamlMIT36500

Open source STM32 MCU programming toolset

Language:CBSD-3-Clause428700

Language:JavaApache-2.034900

Language:Haskell8000

A JavaScript implementation of Git.

Language:JavaScriptMIT383000

Coq executable semantics and resource verifier

Language:Coq200

Coq executable semantics and resource verifier

Language:Coq1200

Log summary generator

Language:OCaml200

Merge log entries in order from several files

Language:OCaml200

Set up environment variables for an application installed in an arbitrary directory

100