-
Well Typed LLP
- Portsmouth, NH, United States
- http://smart-cactus.org/~ben
Stars
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
Estimate ocean wave height (or vessel heave) and period from vertical acceleration using IMU on esp32
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
Performance instrumentation and tracing for Android, Linux and Chrome (read-only mirror of https://android.googlesource.com/platform/external/perfetto/)
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
Auto generate a stack or cabal multi component hie.yaml file