ErikMcClure's Stars
3b1b/manim
Animation engine for explanatory math videos
cfenollosa/os-tutorial
How to create an OS from scratch
xi-editor/xi-editor
A modern editor with a backend written in Rust.
drogonframework/drogon
Drogon: A C++14/17/20 based HTTP web application framework running on Linux/macOS/Unix/Windows
mattn/go-sqlite3
sqlite3 driver for go using database/sql
intel/hyperscan
High-performance regular expression matching library
smoltcp-rs/smoltcp
a smol tcp/ip stack
facebookresearch/LASER
Language-Agnostic SEntence Representations
HigherOrderCO/Kind1
A modern proof language
revng/revng
revng: the core repository of the rev.ng project
lifting-bits/remill
Library for lifting machine code to LLVM bitcode
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
grimfang4/sdl-gpu
A library for high-performance, modern 2D graphics with SDL written in C.
eliben/llvm-clang-samples
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
Solo5/solo5
A sandboxed execution environment for unikernels
septag/sx
Portable base library for C programmers, designed for performance and simplicity.
martinmoene/span-lite
span lite - A C++20-like span for C++98, C++11 and later in a single-file header-only library
VictorTaelin/abstract-algorithm
Optimal evaluator of λ-calculus terms.
tuxalin/CommandBuffer
A lock-free CommandBuffer implementation designed for multi-threaded rendering applications.
linebender/piet-metal
Experimental Metal-based GPU renderer for piet 2D graphics.
valyala/gheap
Fast generalized heap tree algorithms in C++ and C. Provides simultaneous support for D-heap and B-heap.
NuxiNL/cloudabi
Definitions for the CloudABI data types and system calls
jwhitham/frotz
Frotz ported to TempleOS
nshelton/FractalFlames
bit-player/dotster
Code to accompany "My God, It's Full of Dots"
Xe/xultybau
Metalanguage analysis
daelvn/ltypekit
Advanced type checking for Lua
ubitux/dct
Fast Forward/Inverse DCT C code generation in Python (following Plonka & Tasche)
gilbo/rawgui
Experiments in Building a GUI system from scratch
luapower/terra.layer
HTML-like layouting and rendering engine written in Terra