Beast code in Giters

Brian Campbell's starred repositories

Open source STM32 MCU programming toolset

Language:CBSD-3-Clause4429 188 757

A JavaScript implementation of Git.

Language:JavaScriptMIT3834 197 111

Library for binding to C libraries using pure OCaml

Language:OCamlMIT371 26 323

Language:JavaApache-2.0351 37 94

Language:Haskell80 190

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

Language:CoqNOASSERTION22 2 1

Coq executable semantics and resource verifier

Language:Coq14 30

Merge log entries in order from several files

Language:OCaml2 20

Log summary generator

Language:OCaml2 20

Coq executable semantics and resource verifier

Language:Coq2 40

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