JPenuchot
Follow
Stars
Lean 4 programming language and theorem prover
Open source input router and remapper daemon for Linux
An example of a custom pneumatic gripper integration to get started with pneumatic actuation on a robotic arm.
I got tired of getting spammed in my feed by velotaff / commuter that post their commute on my feed, so I blocked them
An Alexa CLI. Uses speech synthesis and transcription to make Alexa accessible on the command-line.
Convert your ascii diagram scribbles into happy little SVG
a simple syntax for complex argumentation
Easily export GPX routes from komoot without a subscription.
Continuous Profiling Platform. Debug performance issues down to a single line of code
Libre Hardware Monitor is free software that can monitor the temperature sensors, fan speeds, voltages, load and clock speeds of your computer.
Bitwig Studio extensions for many controllers: Ableton Push I/II, Akai APC40mkI/mkII/mini, Fire, Arturia Beatstep, Novation Launchpads / Remote SLs, NI Maschine / Komplete, Open Sound Control (OSC)…
Port of OpenAI's Whisper model in C/C++
Emulation of classic VA synths of the late 90s/2000s that are based on Motorola 56300 family DSPs
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
constexpr incremental associative containers (C++20)
A cross-platform x86 assembler with an Intel-like syntax
An overlay that shows schemas for all workspaces to make navigation in sway easier.
KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.
The local version of the backend and UI for the gProfiler agent, featuring advanced flamegraph analysis tools. For the also free cloud version, please see https://profiler.granulate.io
📘 OpenAPI/Swagger-generated API Reference Documentation