-
Bitnomial
- Los Angeles
- blog.cofree.coffee
Stars
- All languages
- APL
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Cuda
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- F#
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Makefile
- Markdown
- Nix
- OCaml
- Perl
- Prolog
- PureScript
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Vue
The AI coding agent that runs on stolen Chipotle compute 🌯 Fork of OpenCode with Pepper AI as default model. Community project to add providers from Home Depot, Lowes, Target, Starbucks & more.
Encyclopedia that hallucinates articles on the fly
Vigil, the eternal morally vigilant programming language
Reifies arbitrary Haskell terms into types that can be reflected back into terms
SQL-first, type-safe PostgreSQL client code generator
Play Doom entirely from DNS records. (PowerShell 7+)
A modal TUI for tracking home projects, maintenance schedules, appliances, and vendor quotes.
Draw ─◀UNICODE diagrams▶─ within ─◀your texts▶─ in Emacs
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Automatically generate Haskell bindings from C header files
Official upstream development repository for Cabal and cabal-install
Organize your electronic components by placing them in pre-labeled ziplock bags and attaching them to ring binder sheets.
Control NetworkManager via dmenu
Generate a nix expression to build bun packages - similar to node2nix or yarn2nix [maintainer=@baileylu121]
Distributors - Unifying Parsers, Printers & Grammars
📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools lik…
Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
My DIY TTL home computer with VGA and PS/2 and 4x the processing power of a Commodore C64 or Apple II.
Vulnerability (CVE) scanner for Nix/NixOS [maintainer=@henrirosten]
Easily build a Haskell project from a stack.yaml.lock file with Nix
A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API