-
Keming Labs
- Amsterdam
- https://kevinlynagh.com
- @lynaghk
Stars
Recent symbolic execution papers and tools.
State-of-the-art nesting for 2D irregular strip packing
A webassembly wrapper for FreeCAD's 2D geometric solver.
A 3dprinter/cnc firmware framework powered by rust embassy
A CAD viewer capable of displaying OCP models (CadQuery/Build123d) in a web browser.
G-code generator for 3D printers (Bambu, Prusa, Voron, VzBot, RatRig, Creality, etc.)
Rust bindings to the OpenCascade CAD Kernel
Taking Keyboards to the Final Frontier
Manifold (3D) wrapper for Clojure
mjpeg stream access for Bambu P1 printers
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor.
Automatically updated sqlite database of JLCPCB parts, filtered to only include components in stock. Includes a CSV file of basic and preferred parts.
Techniques and numbers for estimating system's performance from first-principles
A recreation of the classic Visual Basic 6 IDE and language in C# with Avalonia
A data-driven rendering library for Clojure(Script) that renders hiccup to DOM or to strings.
Access your streaming music through physical NFC tokens, like putting on a CD or record. Great for children and adult aesthetics.
A fast and fearless Collision Detection Engine for 2D irregular Cutting and Packing problems
A cross-platform serial monitor/plotter written entirely in rust.
Statistical Rethinking (2nd ed.) with NumPyro