HenriChataing

Pinned Repositories

asinine
Embeddable ASN.1 (DER) decoder in C
Language:C0 2 00
clif
Wrapper generator foundation to wrap C++ for Python and other languages using LLVM.
Language:Python0 2 00
cppnes
Language:C++0 2 00
linenoise
A small self-contained alternative to readline and libedit
Language:C0 1 00
lwext4
ext2/ext3/ext4 filesystem library for microcontrollers
Language:C0 1 00
mock
Simulator for stack machine
Language:C++0 2 00
n64
Language:C++5 4 00
ProtoQuipper
Implementation of the Proto-Quipper language
Language:Haskell7 5 00
ps1
Language:C++1 2 00
Verif
Abstract Interpretation Tool
Language:OCaml2 2 00

HenriChataing's Repositories

HenriChataing/ProtoQuipper
Implementation of the Proto-Quipper language
Language:Haskell7 5 00
HenriChataing/n64
Language:C++5 4 00
HenriChataing/Verif
Abstract Interpretation Tool
Language:OCaml2 2 00
HenriChataing/ps1
Language:C++1 2 00
HenriChataing/asinine
Embeddable ASN.1 (DER) decoder in C
Language:C0 2 00
HenriChataing/clif
Wrapper generator foundation to wrap C++ for Python and other languages using LLVM.
Language:Python0 2 00
HenriChataing/cppnes
Language:C++0 2 00
HenriChataing/linenoise
A small self-contained alternative to readline and libedit
Language:C0 1 00
HenriChataing/lwext4
ext2/ext3/ext4 filesystem library for microcontrollers
Language:C0 1 00
HenriChataing/mock
Simulator for stack machine
Language:C++0 2 00
HenriChataing/pycparser
:snake: Complete C99 parser in pure Python
Language:Python1 0
HenriChataing/rauth
A Python library for OAuth 1.0/a, 2.0, and Ofly.
Language:Python2 0
HenriChataing/zig
robust, optimal, and clear programming language
Language:C++2 0