Lists (18)
Stars
Crowdsourced collection of tools for LLMs in Emacs
starter Nix config for macOS w/ nix-darwin, home-manager, mise, & brew
Access any file on your computer with ⌘-K in your terminal
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
AI conversations that actually remember. Never re-explain your project to Claude again. Local-first, integrates with Obsidian. Join our Discord: https://discord.gg/tyvKNccgqN
epanet-js: EPANET in your browser — start water modeling now, no download required
Yet another Nix CLI helper. [Maintainers=@viperML, @NotAShelf]
Language Server for Systemd unit files
a language server implementation for systemd unit files made in rust 🦀
Tool for interactive command line environments on Linux
Nix library for creating scalable NixOS, Home Manager, and Nix-Darwin configurations with modules, hosts, and rices
✨ The Next Gen Airtable Alternative: No-Code Postgres
Use AI to automatically turn any meeting or recording into a structured summary, you can use your favourite LLM APIs or run the entire process locally for complete data privacy
SOPS secrets management integrated with Bitwarden for NixOS
Fix .app programs installed by Nix on Mac
Code to make it easier to manage many prompts in GPTel
An extremely fast Python type checker and language server, written in Rust.
An implementation of differential dataflow using timely dataflow on Rust.
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Some notes on things I find interesting and important.
AI Pair Programming in Emacs with Aider
Online, interactive edition of the "Simply Logical" Prolog textbook
A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix