Block or Report
Block or report tannerlegvold
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Scientific measurement library for instruments, experiments, and live-plotting
🐾 Convert dconf files (e.g. GNOME Shell) to Nix, as expected by Home Manager [maintainer=@jtojnar]
Dynamic Notebook Environment for Wolfram Language written in Javascript
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
Quantum Visualization Interacting Toolkit for Ab-initio Simulations
Simulation framework for nonsmooth dynamical systems
Infinite canvas drawing/whiteboarding app for Windows, Linux and macOS. Made with Godot.
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
🦜🔗 Build context-aware reasoning applications
SQL powered operating system instrumentation, monitoring, and analytics.
Optimize floating-point expressions for accuracy
Form the upcoming revival of the NewLexeme special page on Wikidata
x86 C compiler written in untyped lambda calculus
A statically typed lisp, without a GC, for real-time applications.
JupyterLab desktop application, based on Electron.
Environment Modules: provides dynamic modification of a user's environment
Limiter, compressor, convolver, equalizer and auto volume and many other plugins for PipeWire applications
Improve your shell by making it functional through Haskell! (An update to Awkward)
A new way to see and navigate directory trees : https://dystroy.org/broot
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
From Haskell to Hardware via CCCs