-
05:06
(UTC -06:00)
Lists (26)
Sort Name ascending (A-Z)
AI
blog
caldav
cloud-infra
docker
emacs
formal verification
haskell
Homelab
julia
latex
llms
networking
nix
Note taking
notebooks
nvim
obsidian
piracy
python
quantitative finance
Research challenge 22
rust
Shell,Dotfiles,Ergonomics
Theorem Proving
web3
Stars
- All languages
- Assembly
- Astro
- AutoHotkey
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- Dhall
- Dockerfile
- Elixir
- Elm
- 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
- OCaml
- Objective-C
- PHP
- Perl
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Solidity
- Swift
- TeX
- TypeScript
- V
- Vim Script
- Vue
- Wren
- YAML
- hoon
Claude Code superpowers: core skills library
Control Gmail, Google Calendar, Docs, Sheets, Slides, Chat, Forms, Tasks, Search & Drive with AI - Comprehensive Google Workspace / G Suite MCP Server
微舆:人人可用的多Agent舆情分析助手,打破信息茧房,还原舆情原貌,预测未来走向,辅助决策!从0实现,不依赖任何框架。
Financial Information eXchange protocol implemented in Rust
a very simple parimutuel yes/no prediction market that mints two ERC-6909 “share” tokens per question
Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.
MCP Aggregator, Orchestrator, Middleware, Gateway in one docker
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
⚡ Python-free Rust inference server — OpenAI-API compatible. GGUF + SafeTensors, hot model swap, auto-discovery, single binary. FREE now, FREE forever.
Python tool for converting files and office documents to Markdown.
High-performance data engine for AI and multimodal workloads. Process images, audio, video, and structured data at any scale
💫 Toolkit to help you get started with Spec-Driven Development
Claude-style sub-agents (reviewer, debugger, security) for Codex CLI via a tiny MCP server. Each call spins up a clean context in a temp workdir, injects a persona via AGENTS.md, and runs codex exe…
This repo powers my experiment where ChatGPT manages a real-money micro-cap stock portfolio.
Integrate the opencode AI assistant with Neovim — streamline editor-aware research, reviews, and requests.
🔥 The Web Data API for AI - Turn entire websites into LLM-ready markdown or structured data
Nix packages for AI coding agents and development tools. Automatically updated daily.
WebAssembly powered code blocks and exercises for both the R and Python languages in Quarto documents
Intelligent automation and multi-agent orchestration for Claude Code
Toolbox for working with streaming data as rough paths in Python
Differentiable computations of the signature and logsignature transforms, on both CPU and GPU. (ICLR 2021)
📄 Awesome CV is LaTeX template for your outstanding job application
Beta release of Archon OS - the knowledge and task management backbone for AI coding assistants.
An Open-Source Asynchronous Coding Agent
Removes Google Analytics-related utm_ parameters from displayed URLs