-
Well Typed LLP
- Portsmouth, NH, United States
- http://smart-cactus.org/~ben
Stars
Python interface to OpenEMS, for PCB trace simulation. Accepts Gerber files as input. Features automatic grid generation and postprocessing.
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
Estimate ocean wave height (or vessel heave), waves direction, and period from accelerations using IMU on esp32 using advanced Kalman filters
GHC plugin to add eventlog tracing for foreign function calls
A terminal based mail user agent based on notmuch
Framework Laptop 13 AMD Ryzen 7040 Series device notes under Linux.
Production-grade client-side tracing, profiling, and analysis for complex software systems.
An extension for PostgreSQL that allows embedded Haskell code.
File Browser extension for telescope.nvim
Automated upstream mirror for libbpf stand-alone build.
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
Quickly create and run optimised Windows, macOS and Linux virtual machines
[W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
Reproducable benchmarking of graphql-engine
The LumenPnP is an open source pick and place machine.
Minimizing Haskell programs for easier debugging of GHC compiler crashes
Modern embedded framework, using Rust and async.
Bring mdb walkers to gdb, also add other helpful commands.
Pragmatic microkernel-based OS with fully asynchronous I/O