-
Well-Typed LLP
- Rome, IT
- http://www.alfredodinapoli.com
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Coq
- D
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- Gleam
- Go
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jupyter Notebook
- KakouneScript
- Kotlin
- LLVM
- Lua
- Makefile
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- PowerShell
- Pure Data
- PureScript
- Python
- QML
- R
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
- Wren
- Zig
Complete context stack for pi — persistent memory, session history, and knowledge search in one install.
ivakyb / fish_ssh_agent
Forked from danhper/fish-ssh-agentFish-function `fish_ssh_agent` to start `ssh-agent` and export its environment variables to all fish instances: currently running and newly created.
Build desktop + mobile apps with Zig and web UI
A skill file for removing AI tells from prose
Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a querya…
Your Personal AI super intelligence. Private, Simple and extremely powerful.
Every API has a secret identity. This finds it, absorbs every feature from every competing tool, then builds the GOAT CLI — designed for AI agents first, with SQLite sync, offline search, and compo…
[MLsys2026]: RAG on Everything with LEANN. Enjoy 97% storage savings while running a fast, accurate, and 100% private RAG application on your personal device.
A Model Context Protocol (MCP) library for the Zig ecosystem.
Fastest, smallest, and fully autonomous AI assistant infrastructure written in Zig
The agent that grows with you
#1 Persistent memory for AI coding agents based on real-world benchmarks
mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.
An MCP server to give Claude easy access to pulling docs
Syncthing-Fork - A Syncthing Wrapper for Android.
MCP server that interacts with Obsidian via the Obsidian rest API community plugin
Open-source desktop app for downloading, organizing and studying media. Native cross-platform (Tauri + Rust + Svelte). PDF/EPUB reader with focus mode, timestamped notes and spaced repetition. Medi…
A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Run Claude Code in security sandboxes (Bubblewrap, Firejail, Apple Container)