Highlights
- Pro
Lists (32)
Sort Name ascending (A-Z)
AI
Algo
APIs
C/C++
Categories -Func. - Ocaml - hs
Cellular Automata
Compil-Langs
Crypto
Cryptography relatedCSS - HTML
DataViz
DB
DevOps
EdT-Timetable
Flask-Falcon-Django
Flutter
Images
Image processing toolsJS
Julia
Maths
ML - DeepL
MPI-MP2I
Music
Organisation
Program = Proof
Python
Svelte - Web Components
Testing - CI
Tex -LaTeX
Tools
tools for progtypesetting
UI
Wasm/Rust
Stars
- All languages
- Agda
- Assembly
- Asymptote
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Crystal
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Flix
- Fluent
- Go
- HCL
- HTML
- Hack
- Haskell
- HolyC
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Markdown
- Max
- Nix
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- PLpgSQL
- Perl
- PostScript
- Processing
- Prolog
- PureScript
- Python
- R
- ReScript
- Ren'Py
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Smalltalk
- Stan
- Standard ML
- Svelte
- Swift
- TeX
- TypeScript
- Typst
- Vala
- Vue
- Wolfram Language
- Zig
- kvlang
- q
CodiMD - Realtime collaborative markdown notes on all platforms.
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, GitHub Copilot CLI, OpenClaw, Factory Droid, Trae, Google Antigravity). Turn any folder of code, docs, papers, images, o…
Moteur de jeu de plateforme 2D en Python/Pygame, conçu comme support de conférence et base réutilisable pour créer vos propres jeux. Le projet inclut rendu multi-couches (parallax), personnage, PN…
Architecture, patterns & internals of Anthropic's AI coding agent — reverse-engineered from source maps
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.
The best-benchmarked open-source AI memory system. And it's free.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Local LLM inference engine written from scratch in Rust — hand-written AVX-512 assembly kernels, Metal & Vulkan compute shaders. Supports Qwen3, Mistral3, ... Q4/INT8/BF16 quantization.
Local knowledge graph for Claude Code. Builds a persistent map of your codebase so Claude reads only what matters — 6.8× fewer tokens on reviews and up to 49× on daily coding tasks.
A jekyll theme inspired by linux consoles for hackers, developers and script kiddies.
A beautiful, simple, clean, and responsive Jekyll theme for academics
✨ Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
📐 Jekyll theme for building a personal site, blog, project documentation, or portfolio.
A starter template for Jekyll sites using the Chirpy theme.
A minimal, responsive, and feature-rich Jekyll theme for technical writing.
A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, PyTorch, and Hugging Face libraries.
Browse any app normally. Spectral captures the traffic, understands what each API call does, and generates MCP tools that AI agents can call directly.
A lightweight Python 3 downloader for IIIF documents
An introduction to theorem proving in Lean for the impatient.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
🐧 SysWarden is an ultra-lightweight Host-based Security Orchestrator for Linux.