-
Well Typed LLP
- Portsmouth, NH, United States
- http://smart-cactus.org/~ben
Stars
Resumes generated using the GitHub informations
A cross-platform, OpenGL terminal emulator.
A library for efficient similarity search and clustering of dense vectors.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Marlin is a firmware for RepRap 3D printers optimized for both 8 and 32 bit microcontrollers. Marlin supports all common platforms. Many commercial 3D printers come with Marlin installed. Check wit…
Quickly create and run optimised Windows, macOS and Linux virtual machines
Modular visual interface for GDB in Python
A rewrite of the old legacy software "depends.exe" in C# for Windows devs to troubleshoot dll load dependencies issues.
Hosting git repositories -- Gitolite allows you to setup git hosting on a central server, with very fine-grained access control and many (many!) more powerful features.
OpenSCAD - The Programmers Solid 3D CAD Modeller
Modern embedded framework, using Rust and async.
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Please post prob…
🔬 A fast, interactive web-based viewer for performance profiles.
Production-grade client-side tracing, profiling, and analysis for complex software systems.
🌊 Digital timing diagram rendering engine
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
The LumenPnP is an open source pick and place machine.
Operate and manipulate physical quantities in Python
Automated upstream mirror for libbpf stand-alone build.