Stars
- All languages
- Agda
- Assembly
- C
- C++
- CSS
- Clojure
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Flix
- Go
- HTML
- Haskell
- Idris
- J
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Markdown
- Nix
- Objective-C
- PHP
- Prolog
- PureScript
- Python
- R
- Racket
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Shell
- Starlark
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Zig
Rust tool to detect cell site simulators on an orbic mobile hotspot
Misago is fully featured modern forum application that is fast, scalable and responsive.
Node.js based forum software built for the modern web
Simple forum software for building great communities.
Privacy-first neural Android keyboard with advanced swipe prediction
Lightweight vault and password manager for Android, KeePassDX allows editing encrypted data in a single file in KeePass format and fill in the forms in a secure way.
A Verilog synthesis flow for Minecraft redstone circuits
Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
A basic implementation of OpenFGA/Google Zanzibar in pure Postgres. Used in production at getrover.com.
Manipulation and analysis of geometric objects
The world's oceans and seas boundaries in GeoJSON and TopoJSON formats.
Build production-ready applications in TypeScript
A cross-platform TUI database management tool written in Go.
Hallucination-prevention RAG system with verbatim span extraction. Ensures all generated content is grounded in source documents with exact citations.
The official Neovim plugin for Supermaven
A discussion between John Ousterhout and Robert Martin about differences between John's book "A Philosophy of Software Design" and Bob's book "Clean Code".
The power of Nix home-manager inside nix development shells
A functional, content-addressable programming language.
The mighty, self-hostable Git server for the command line🍦
Process modern astronomical observations in Haskell (FITS, ASDF, WCS)
A syntax-highlighting pager for git, diff, grep, and blame output
A purely-functional HTML builder for Python. Think JSX rather than templates.
Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.