mgttlinger
Follow
Stars
A monad for interfacing with external SMT solvers
A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…
A text editor in ≤1024 lines of code, written in Rust
An independent Rust text editor that runs in your terminal!
Simple and fast keyboard focused IDE written in Crystal and GTK.
A modern text editor for the terminal written in Rust
The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte
A `flake-parts` Nix module for Haskell development
A collection of all the content from NixCon Paris 2022 and beyond
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Configurable automation + hooks called with application information
Application launcher in haskell. Mostly Just For Fun.
🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autocompletion.
A presenter console with multi-monitor support for PDF files.
Change-aware static site generator for Haskell programmers
An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.
A fast, simple, recursive content discovery tool written in Rust.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
write scripts in compiled languages that run in the nix ecosystem, with no separate build step
A Web Application to Visualize the Org-Roam Database
Schema.org - schemas and supporting software