Stars
- All languages
- ActionScript
- Agda
- Aiken
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Classic ASP
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- Fortran
- Frege
- GLSL
- Go
- Groovy
- HTML
- Haml
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Just
- Kotlin
- Lean
- Lua
- MATLAB
- Makefile
- Mercury
- Mustache
- Nix
- Noir
- Nunjucks
- OCaml
- PHP
- Perl
- PlantUML
- PostScript
- Pure Data
- PureScript
- Python
- R
- Racket
- Ragel
- ReScript
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- Tcl
- TeX
- TypeScript
- Untyped Plutus Core
- V
- Verilog
- Vim Script
- Vue
- hoon
A slightly opinionated Nix flake for ComfyUI with curated custom nodes. Supports macOS (Apple Silicon) and Linux with CUDA.
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
An infinite zoomable canvas for coding. Editor, terminal, and browser panels in a spatial workspace.
A feature-rich terminal-based RSS/Atom feed reader written in Rust.
Plausibly deniable dual-environment computing for NixOS
Row-Bot - Personal AI Sovereignty. A local-first AI assistant with integrated tools, a personal knowledge graph, voice, vision, shell, browser automation, scheduled tasks, health tracking, and mess…
Midnight Improvement Proposals (MIPs)
Claude Code skill that removes signs of AI-generated writing from text
Claude skills for working with Agda code
Interactive CLI for Midnight wallet
Efficient podman-based and nix-enabled environment for Claude Code
Experimental developer wallet TUI for Midnight. See https://github.com/shieldedtech/dusk-wallet for a more recent reference wallet for Midnight.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Go implementation of a SAMv3.3 API using go-i2p/go-i2cp to talk to I2P.
Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.
A Signal Chat bot that allows activists to create and utilize their own local database for license plates of ICE agents.
A Complete Guide to Zero-Knowledge Proof Systems