Pepe García

ktlsp. Rust

youtrackdb. YouTrackDB is a general-use object-oriented graph database with storage format native to handle graph relations. YouTrackDB supports Gremlin queries and ACID transactions. YTDB supports both embedded and client-server deployment models.

ndrstnd. A companion for coding agents to help you understand large outputs

gent. Janet

ghostel. Terminal emulator powered by libghostty

sample-cluster-view. A live, spatial monitoring panel for Amazon ECS. See task placement across all your clusters and regions at a glance — container instances, capacity providers, AZ distribution, and resource utilisation, all in one view.

whenfs. A FUSE filesystem for your Google calendar

Peekaboo. Peekaboo is a macOS CLI & optional MCP server that enables AI agents to capture screenshots of applications, or the entire system, with optional visual question answering through local or remote AI models.

yojam. open links on macOS in whatever browser, app, or profile you need - whatever yo jam is

things3-cli. CLI for Things 3, implemented in Go

git-diff-focus. TypeScript

supacode. worktree coding agents command center.

git_bayesect. Bayesian git bisect

emdash. EmDash is a full-stack TypeScript CMS based on Astro; the spiritual successor to WordPress

legalize. Legislation as code. Every law as a Markdown file. Every reform as a Git commit.

legalize-es. Legislación de España en Markdown, versionada como git. Cada ley es un archivo, cada reforma un commit.

compound-engineering-plugin. Official Compound Engineering plugin for Claude Code, Codex, Cursor, and more

tui-wright. Rust

hegel-core. Universal property-based testing protocol, built on Hypothesis

lean4-markdown. Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass

rtk. CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

bombadil. Property-based testing for web and terminal UIs

cli. 📜 Entire CLI hooks into your Git workflow to capture AI agent sessions as you work. Sessions are indexed alongside commits, creating a searchable record of how code was written in your repo.

pi. AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

MyClaude. This repository contains my personal collection of Claude Code subagents, skills and other tools - specialized AI assitants designed for specific software engineering tasks.

kotlin-lsp. Kotlin Language Server and plugin for Visual Studio Code

hashcards. A plain text-based spaced repetition system.

kanata. Improve keyboard comfort and usability with advanced customization

margarine. Rust

karabiner. My Karabiner Elements configuration

parquet-carpet. Java Parquet serialization and deserialization library using Java 17 Records

garmin-workouts. Command line tool for managing Garmin workouts.

llm. Access large language models from the command-line

kotlingrad. 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

files-to-prompt. Concatenate a directory full of files into a single prompt for use with LLMs

understand-paxos. What makes Paxos tick?

graft. Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.

nio_uring. High performance I/O library for Java using io_uring under the hood

obsidian-smart-connections. Find related notes and excerpts while writing. Your link building copilot displays relevant content in graph + list view. A local embedding model powers semantic search. Zero setup. No API key.

software-papers. 📚 A curated list of papers for Software Engineers

Unblockt. Kotlin language support for Visual Studio Code

mapdb. MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.

fzf. :cherry_blossom: A command-line fuzzy finder

zml. Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild

tower-lsp. Language Server Protocol implementation written in Rust

nvim-jdtls. MIRROR of: https://codeberg.org/mfussenegger/nvim-jdtls

ideals. Turns IntelliJ IDEA into a generic LSP server

macromania. Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania

s2geometry. Computational geometry and spatial indexing on the sphere

eyg-lang. The safest scripting language for you, or your agent.

wezterm. A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

zellij. A terminal workspace with batteries included

karabiner-config. My Karabiner-Elements config in karabiner.ts

git-bug. Distributed, offline-first bug tracker embedded in git

tokio. A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

kotlin-ts-mode. A mode for editing Kotlin files based on tree-sitter

hey-api. 👨‍🚀 Turn API specifications into production-ready SDKs, validators, mocks, and more. 20+ plugins. Millions of weekly npm downloads. Used by Vercel, OpenCode, PayPal, AWS, Autodesk, and many more.

doceaser. Interactive documentation with Markdown and HTMX made easier

java-diff-utils. Diff Utils library is an OpenSource library for performing the comparison / diff operations between texts or some kind of data: computing diffs, applying patches, generating unified diffs or parsing them, generating diff output for easy future displaying (like side-by-side view) and so on.

promptui. Interactive prompt for command-line applications

dive. A tool for exploring each layer in a docker image

authlib. The ultimate Python library in building OAuth, OpenID Connect clients and servers. JWS, JWE, JWK, JWA, JWT included.

daisyui. 🌼 🌼 🌼 🌼 🌼  The most popular, free and open-source Tailwind CSS component library

cookiecutter. A cross-platform command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, C projects.

hasktorch. Tensors and neural networks in Haskell

tensors. Tensors in Haskell

tinygrad. You like pytorch? You like micrograd? You love tinygrad! ❤️

ip_location_server. A GRPC and HTTP server mapping IP addresses to locations. Supports IPv4 and IPv6 and automatic dataset updates.

spicedb. Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data

numbat. A statically typed programming language for scientific computations with first class support for physical dimensions and units

hero-app. The Hero app is an example of ultimate setup for async web-service performance.

gitwonk. The open source GitBook, Confluence, and Archbee alternative. Write technical docs like never before 🐙

refine. A React Framework for building internal tools, admin panels, dashboards & B2B apps with unmatched flexibility.

awesome-lanzarote. Collection of useful bits for digital nomads & expats in Lanzarote.

gitui. Blazing 💥 fast terminal-ui for git written in rust 🦀

tigerbeetle. The financial transactions database designed for mission critical safety and performance.

rye. a Hassle-Free Python Experience

codehike. Build rich content websites with Markdown and React

wasp. The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, background jobs, RPC, email sending, end-to-end type safety, single-command deployment, and more.

tufte-pandoc-jekyll. A Jekyll theme for using Tufte CSS with Jekyll + Pandoc

nix-haskell-template. My current flake Haskell template

banana-rdf. Banana RDF

securitasdirect. Home Assistant integration with Securitas Direct (AKA Verisure EU) and command line tool to interact with.

midea_ac_lan. Auto-configure and then control your Midea M-Smart devices (Air conditioner, Fan, Water heater, Washer, etc) via local area network.

neovim-flake. Nix flake for neovim with configuration

wasminna. Live coding a WebAssembly interpreter in pure Ruby with no dependencies, guided by the Wasm spec’s test suite

tree-sitter-rtf. RTF API for the tree-sitter incremental parsing system

nixos-up. The fastest NixOS install there is! 🏎️🏁

multi-account-containers. Firefox Multi-Account Containers lets you keep parts of your online life separated into color-coded tabs that preserve your privacy. Cookies are separated by container, allowing you to use the web with multiple identities or accounts simultaneously.

automerge. A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

nixcon2020-talk. NixCon 2020 talk about Nix flakes

keto. The most scalable and customizable permission server on the market. Fix your slow or broken permission system with Google's proven "Zanzibar" approach. Supports ACL, RBAC, and more. Written in Go, cloud native, headless, API-first. Available as a service on Ory Network and for self-hosters.

yew. Rust / Wasm framework for creating reliable and efficient web applications

temporal. Temporal service

k8s. Kubernetes Helm Charts for the ORY ecosystem.

git-stack. Stacked branch management for Git

hunt-rs. Simplified Find command made with Rust.

kotlin-kafka. Kafka bindings for Kotlin `suspend`, and Kafka streaming operators for KotlinX Flow.

hadolint. Dockerfile linter, validate inline bash, written in Haskell

kubecfg. A tool for managing complex enterprise Kubernetes environments as code.

jsonnetunit. Unit testing framework for Jsonnet

hexagon. ARCHIVED REPOSITORY. Hexagon is a microservices toolkit written in Kotlin. Its purpose is to ease the building of services (Web applications or APIs) that run inside a cloud platform.

computer-science. 🎓 Path to a free self-taught education in Computer Science!

react-admin-ory. TypeScript

k8s-ory-example. Oathkeeper, Kratos and Keto in kubernetes.

go-kratos-test. Go

litestream. Streaming replication for SQLite.

diferencia. Tool to detect regressions between services

sapling. A Scalable, User-Friendly Source Control System.

spin. Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.

shelly-homekit. Apple HomeKit firmware for Shelly's

HVM2. A massively parallel, optimal functional runtime in Rust

crane. A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

swiftwasm-frontend-docker. Repo for generating a docker image with all the needed tools by the crossplatform team

kotlin-js-bazel-example. Python

spotify-notify. Rich, native Spotify notifications 🎵

rules_kotlin. Bazel rules for Kotlin

pbandk. Kotlin Multiplatform Code Generator and Runtime for Protocol Buffers (Protobuf)

trading. 💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)

smithy4s. https://disneystreaming.github.io/smithy4s/

templates. Flake templates

kindle-notes-parser. GUI and command line to separate automatically the kindle clippings

humility. Debugger for Hubris

datafusion. Apache DataFusion SQL Query Engine

kmonad. An advanced keyboard manager

nix-config. Configuration for NixOS and user home (dot files).

nixoscfg. Nix

nix-config. My personal nix config

neovim. Vim-fork focused on extensibility and usability

elfshaker. elfshaker stores binary objects efficiently

awesome-nix. 😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

caffeine. A basic REST service for JSON data - enough for prototyping and MVPs!

nano-emacs. GNU Emacs / N Λ N O - Emacs made simple

git-branchless. High-velocity, monorepo-scale workflow for Git

sbt-yourkit. Adds YourKit agent to Docker SBT apps

tv. 📺(tv) Tidy Viewer is a cross-platform CLI csv pretty printer that uses column styling to maximize viewer enjoyment.

hugo-embed-pdf-shortcode. A shortcode for Hugo(https://gohugo.io/) which allows you to embed a PDF file in a page using Pdf.js (https://mozilla.github.io/pdf.js/)

pp. PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

guesslang. Detect the programming language of a source code

datasette. An open source multi-tool for exploring and publishing data

reqwest. An easy and powerful Rust HTTP Client

hyper. An HTTP library for Rust

onnx. Open standard for machine learning interoperability

easy_z3. Using z3's never been easier (maybe)

time-ghc-modules. Analyze GHC .dump-timings files

google-research. Google Research

frameless. Expressive types for Spark.

Inkuire. Hoogle-like searches for Scala 3 and Kotlin

naml. Convert Kubernetes YAML to Golang

http4s-munit. When http4s met MUnit

spliff. Efficient diffing in Scala

specter. Clojure(Script)'s missing piece

indigo. An FP game engine for Scala.

neotypes. Scala lightweight, type-safe, asynchronous driver for neo4j

database-engine. LSM-Tree Key-Value Store based on RocksDB

firecracker. Secure and fast microVMs for serverless computing.

telescope.nvim. Find, Filter, Preview, Pick. All lua, all the time.

simplegraphdb. Basic Golang implementation of a Triple Store. Built to learn the Golang language before an internship.

hudi. Upserts, Deletes And Incremental Processing on Big Data.

encore. The infrastructure platform for the intelligence era

stateright. A model checker for implementing distributed systems.

dream. Tidy, feature-complete Web framework

alpine. A rugged, minimal framework for composing JavaScript behavior in your markup.

dapr. Dapr is a portable runtime for building distributed applications across cloud and edge, combining event-driven architecture with workflow orchestration.

libretto. Declarative concurrency and stream processing library for Scala

easy-hls-nix. Easy Haskell Language Server tooling with Nix!

derevo. Multiple instance derivations inside a single macro annotation

manim. A community-maintained Python framework for creating mathematical animations.

manim. Animation engine for explanatory math videos

tailscale. The easiest, most secure way to use WireGuard and 2FA.

Carp. A statically typed lisp, without a GC, for real-time applications.

plotlydash-flask-tutorial. 📊📉 Embed Plotly Dash into your Flask applications.

nixos-config. My NixOS configuration and nixpkgs overlays

home-dot-nixpkgs. Nix

dash_on_flask. Dash on Flask with login_required (and application factory pattern)

ontop. Ontop is a platform to query relational databases as Virtual RDF Knowledge Graphs using SPARQL

foundation. Empire strikes back

kafkakit. The Kafka CLI you've always wanted.

inferno. A Rust port of FlameGraph

act. Run your GitHub Actions locally 🚀

Rocket. A web framework for Rust.

aeron. Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Hasktorch-tutorial. A set of Hasktorch tutorials based on pytorch-tutorial

setup-gpg. GitHub Action to install the same version of gpg as on Travis CI

snunit. Scala Native HTTP server based on FreeUnit

phobos. Efficient and expressive XML data-binding library for Scala

deimos. Scala

implicit-hie. Auto generate a stack or cabal multi component hie.yaml file

servant-mongodb. Playground for using Servant and MongoDB.

cats-parse. A parsing library for the cats ecosystem

nixery. Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tree/tools/nixery

pytorch-lightning. Pretrain, finetune ANY AI model of ANY size on 1 or 10,000+ GPUs with zero code changes.

gradle2nix. Generate Nix expressions which build Gradle-based projects.

binder. Emacs global minor mode facilitating multi-file writing projects

mill. A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-7x faster dev workflows than other JVM build tools

rbs. The type signature language for Ruby

munit-cats-effect. Integration library for MUnit & cats-effect

nickel. Better configuration for less

py4e. Web site for www.py4e.com and source to the Python 3.0 textbook

cake-slayer. 🍰🔪 Architecture of Haskell backend applications