Ongoing Lean formalisation of the proof of Fermat's Last Theorem

An open-source, customizable intermediate logic textbook

Kotlin Language Server and plugin for Visual Studio Code

Staggeringly powerful macOS desktop automation with Lua

Lightweight coding agent that runs in your terminal

An open source, self-hosted implementation of the Tailscale control server

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Get up and running with Kimi-K2.5, GLM-5, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

A pure Unix shell script ACME client for SSL / TLS certificate automation

Container runtimes on macOS (and Linux) with minimal setup

A Scala API for Apache Beam and Google Cloud Dataflow.

Anthropic's educational courses

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…

PortOne 개발자센터

PortOne Server SDK

A collection of MCP servers.

ddclient updates dynamic DNS entries for accounts on a wide range of dynamic DNS services.

Scala plugin for IntelliJ IDEA

simple vim guide

The Scala 3 compiler, also known as Dotty.

A cross-platform, OpenGL terminal emulator.

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

Phoenix Slides

Protect your SSH keys with your Mac's Secure Enclave

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

Desktop Bitcoin Wallet focused on security and privacy. Free and open source.

An incremental parsing system for programming tools

A collection of dotfiles and scripts.

Scala library for boilerplate-free, type-safe data transformations