Stars
A tiny, dependency-free computer vision library in C for embedded systems, drones, and robotics.
An intel PT trace converter from `perf.data` to Fuchsia trace format.
Implementation of SCvx, linear MPC and LQR for trajectory generation and tracking
Manifold geometry with fast automatic derivatives and coordinate frame semantics checking
A workbench for writing toy implementations of distributed systems.
**No Longer Maintained** Official RAMCloud repo
Formal proof of the Four Color Theorem [maintainer=@ybertot]
A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
A Learning Environment for Theorem Proving with the Coq proof assistant
Concurrent Programming with Effect Handlers
An attempt to implement the typing rules of Featherweight Java using Haskell.
Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
Black-box transactional safety checker based on cycle detection
Class materials for a distributed systems lecture series
Source code to pbrt, the ray tracer described in the forthcoming 4th edition of the "Physically Based Rendering: From Theory to Implementation" book.
Android Messages as a Cross-platform Desktop App
A library for building dynamic webapps, using Js_of_ocaml
A hardcaml library to interface with arty boards
A stunningly clean theme for the rEFInd UEFI boot manager.
Compose Multiplatform, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
An implementation of the Augmented Random Search algorithm
A polymorphic interface for elliptic curve operations
Editing spherical images/video using Möbius transformations
Minisketch: an optimized library for BCH-based set reconciliation