Lists (2)
Stars
alsa-scarlett-gui is a Gtk4 GUI for the ALSA controls presented by the Linux kernel Focusrite USB Drivers
Latest driver development code for sound/usb on Linux
The Helium compiler, Helium-as-a-library, and the texthint interpreter
An open source desk widget using affordable TFT displays and an ESP32 (:
A free, browser-based simulator of spintronic circuits.
A property based testing framework for Kotlin
A DSL for cellular automata running on the GPU using Margolus neighborhoods
Tools for musicians to practice more efficiently
SC Mini is a "minimal" positive supercompiler
Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.
Public repository for Advanced Programming
Hazel, a live functional programming environment with typed holes
Very controlled natural language tactics for Lean
A friendly functional language for finding counterexamples 🎯
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…
A compiler that translates a form of lambda calculus to C