Beast code in Giters

Pierre Talbot's repositories

nominal-workbench

A prototype tool for experimenting nominal rewrite systems

Language:OCamlMIT600

neev

Event-driven networking library on top of Boost.Asio

Language:C++BSL-1.0400

checkdigit

Checkdigit validator/generator library aimed to be proposed in Boost

Language:C++100

DigitalSelf

Language:Python100

online-broker

Language:JavaScript100

Scheme-in-Python

Continuation passing style Scheme interpreter written in Python.

Language:Python100

ama

Anonymous procedural macro in Rust

Language:RustApache-2.0010

bailey

Toy language in Rust

Language:Rust010

endian

Proposed Boost Endian library

Language:C++000

mpri13

ML type inference in presence of type classes

Language:OCamlGPL-2.0000

ntcc

Nondeterministic Temporal Concurrent Constraint language

Language:C++Apache-2.0000

people-link

Extract data from mails and draw a graph of the link between you and the people you know.

Language:PythonMIT000

rust

a safe, concurrent, practical language

Language:RustNOASSERTION010

rust-ctfe-proposal

Compile-time function evaluation (CTFE) proposal for the Rust language.

Language:TeX000

Rust.attribute

Language:RustApache-2.0000

Rust.Paper

temporal concurrent constraint language

Language:RustApache-2.0000

sash2

A school project adding some features to the stand-alone shell (sash) from David Bell.

Language:C000

vec-map

A simple map based on a vector for small integer keys

Language:RustApache-2.0000