Beast code in Giters

Henri Chataing's repositories

Implementation of the Proto-Quipper language

Language:HaskellNOASSERTION7 50

Language:C++5 40

Abstract Interpretation Tool

Language:OCaml2 20

Language:C++1 20

Embeddable ASN.1 (DER) decoder in C

Language:CNOASSERTION020

Wrapper generator foundation to wrap C++ for Python and other languages using LLVM.

Language:PythonApache-2.0020

Language:C++020

A small self-contained alternative to readline and libedit

Language:CBSD-2-Clause010

ext2/ext3/ext4 filesystem library for microcontrollers

Language:CNOASSERTION010

Simulator for stack machine

Language:C++020

:snake: Complete C99 parser in pure Python

Language:PythonNOASSERTION000

A Python library for OAuth 1.0/a, 2.0, and Ofly.

Language:PythonMIT020

robust, optimal, and clear programming language

Language:C++MIT020