Highlights
- Pro
Stars
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A proof assistant for higher-dimensional type theory
Alexander Grothendieck's 1972 talk at CERN, on scientific research
A massively parallel, high-level programming language
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
My mathematical Zettelkasten, created using forester.
A massively parallel, optimal functional runtime in Rust
Minimal implementations for dependent type checking and elaboration
Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
Creusot helps you prove your code is correct in an automated fashion.
being an operating system for typechecking processes
Slides and handwritten notes on the course on models of programming languages
A core language and API for dependently typed languages
Entity Component System focused on usability and flexibility.
Multi-backend renderer with asset pipeline. The objective of this repo is to build a scalable, flexible, data driven renderer.
Write expressive, high-performance parsers with ease.