Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
User interface engine for native apps & WebAssembly sites
-
Safe, portable, high performance compute (GPGPU) kernels.
-
Creusot helps you prove your code is correct in an automated fashion.
-
A massively parallel, high-level programming language
-
Ergonomic, versatile, strong types wrapping MIDI 2.0 message data.
-
A modern computer algebra system which aims to handle expressions with billions of terms.
-
-
This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors of the GLL algorithm.
-
Concrete Syntax Tree library
-
A GDB frontend for Linux.