-
10:48
(UTC -05:00)
Lists (28)
Sort Name ascending (A-Z)
AI
blog
caldav
cloud-infra
community/organization/dao
docker
emacs
formal verification
haskell
Homelab
julia
latex
llms
networking
nix
Note taking
notebooks
nvim
obsidian
piracy
python
quantitative finance
Research challenge 22
rust
security
Shell,Dotfiles,Ergonomics
Theorem Proving
web3
Stars
- All languages
- Assembly
- Astro
- AutoHotkey
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F*
- Flix
- Fluent
- GAP
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- LiveScript
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Mustache
- Nix
- Nushell
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Solidity
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- V
- Vim Script
- Vue
- Wren
- YAML
- hoon
A community trust management system based on explicit vouches to participate.
Native web workspace for Hermes Agent — chat, terminal, memory, skills, inspector.
FinceptTerminal is a modern finance application offering advanced market analytics, investment research, and economic data tools, designed for interactive exploration and data-driven decision-makin…
AI You Control: Choose your models. Own your data. Eliminate vendor lock-in.
A community-supported supercharged document management system: scan, index and archive all your documents
DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling
Build your own AI SRE agents. The open source toolkit for the AI era ✨
A diffusion-based framework for document OCR that replaces autoregressive decoding with block-level parallel diffusion decoding.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Brings native understanding of Nix packages to containerd
CSI driver for Nixxing Kubernetes, see develop branch!
Knowledge Engine for AI Agent Memory in 6 lines of code
CLI for AI agents to control macOS apps via Accessibility API
AI that sees your screen, listens to your conversations and tells you what to do
A beautiful, simple, clean, and responsive Jekyll theme for academics
Nix binary cache implemented in rust (maintainer: @Mic92)
Install NvChad on Nix-based system [maintainer=@Bot-wxt1221, @MOIS3Y]
The open-source managed agents platform. Turn coding agents into real teammates — assign tasks, track progress, compound skills.
Self-evolving agent: grows skill tree from 3.3K-line seed, achieving full system control with 6x less token consumption
Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.
The RL Bridge for LLM-based Agent Applications. Made Simple & Flexible.
Wrap Gemini CLI, Antigravity, ChatGPT Codex, Claude Code as an OpenAI/Gemini/Claude/Codex compatible API service, allowing you to enjoy the free Gemini 3.1 Pro, GPT 5.5, Claude model through API
Route OpenClaw API requests through Claude Code subscription billing instead of Extra Usage
Stop juggling AI accounts. Quotio is a beautiful native macOS menu bar app that unifies your Claude, Gemini, OpenAI, Qwen, and Antigravity subscriptions – with real-time quota tracking and smart au…
Uses Claude Code authentication to make direct API calls
A desktop app that lets you use your AI subscriptions (Claude, ChatGPT, Gemini, GitHub Copilot) with any coding tool. Wraps CLIProxyAPI with a clean UI for managing connections and tracking usage.
OPH is an active research program aiming to construct a fundamental theory of physics from observer consistency.