Skip to content
View wbthomason's full-sized avatar

Organizations

@Cornell-RPAL @Cornell-CIS-Slack

Block or report wbthomason

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
65 stars written in C
Clear filter

The Operator Splitting QP Solver

C 2,100 408 Updated Jan 12, 2026

SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings fo…

C 1,784 117 Updated Apr 7, 2026

The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.

C 1,475 307 Updated Mar 17, 2026

Open-source implementation of the K programming language

C 1,407 147 Updated Jun 2, 2023

Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control

C 1,308 330 Updated Apr 10, 2026

Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

C 1,246 69 Updated Feb 11, 2025

The FASTEST QUALITY hash function, random number generators (PRNG) and hash map.

C 1,112 74 Updated Mar 23, 2026

Bare libuv bindings for lua

C 923 201 Updated Mar 30, 2026

Gilbert-Johnson-Keerthi (GJK) collision detection algorithm in 200 lines of clean plain C

C 894 86 Updated Sep 13, 2021

RaptorJIT: A dynamic language for system programming (LuaJIT fork)

C 863 41 Updated Aug 22, 2024

Stackless Async Subroutines for C

C 773 58 Updated May 19, 2023

Automated integer hash function discovery

C 766 35 Updated Mar 1, 2024

Rix language combines the power of C language and the convenience of a high level language

C 723 30 Updated Feb 4, 2026

Geometry library for C - Fast point-in-polygon

C 667 26 Updated Jan 18, 2026

Compiler for the Mirth programming language.

C 486 19 Updated Dec 4, 2025

The classic DOOM game over htop, the text-based process viewer

C 484 7 Updated Apr 12, 2024

A dead simple editor

C 459 22 Updated Aug 14, 2019

Header-only binary fuse and xor filter library

C 426 37 Updated Jan 19, 2026

A powerful new shell that uses the janet programming language for both the implementation and repl.

C 389 13 Updated Jan 19, 2020

A Python connector to IPOPT

C 210 73 Updated Jan 31, 2023

Lua bindings for libgit2

C 171 29 Updated Dec 16, 2025

CUDD Decision Diagram Package

C 158 77 Updated Dec 12, 2025

Fast random number generators: Vectorized (SIMD) version of xorshift128+

C 123 17 Updated Jul 22, 2020

Python interface for CUDA implementation of OSQP

C 106 23 Updated Sep 7, 2021

ROS package that can filter geometry defined in URDF models from Kinect depth images. Can also preprocess data for the OpenNI tracker, to remove backgrounds, robots etc.

C 97 44 Updated Dec 22, 2022

Vectorized version of the PCG random number generator

C 87 9 Updated Jan 9, 2026

Small Fast S-Expression Library

C 85 15 Updated Dec 17, 2024

Lightweight robotics utility library

C 45 20 Updated Jul 22, 2022

Symk is a state-of-the-art classical optimal and top-k planner.

C 44 13 Updated Apr 1, 2026

SmalL bUt Complete GROne Synthesizer

C 43 26 Updated Aug 22, 2024