DeepSeek Harness: Everything is a Plugin.

Meta-Framework of Spatiotemporal Composability

A memory plugin for AI coding that turns engineering experience, repository knowledge, and your way of working into memory that remains useful in future tasks.

Retrieval and Retrieval-augmented LLMs

A refreshingly simple data-driven game engine built in Rust

Native Input Joystick Plugin for Unreal Engine 4/5

Outline Server, developed by Jigsaw. The Outline Server is a proxy server that runs a Shadowsocks instance and provides a REST API for access key management.

A versatile and efficient proxy framework.

Semi-automatic OSINT framework and package manager

A powerful, easy-to-use, modern Java core library for the future

GlazeWM is a tiling window manager for macOS and Windows inspired by i3wm.

CoreNLP: A Java suite of core NLP tools for tokenization, sentence segmentation, NER, parsing, coreference, sentiment analysis, etc.

Pure C# 3D real time physics simulation library, now with a higher version number.

rust paddleocrv4库

Koka language compiler and interpreter

macOS cross compiler toolchains

We ❤️ Interns!

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

FreeSWITCH is a Software Defined Telecom Stack enabling the digital transformation from proprietary telecom switches to a versatile software implementation that runs on any commodity hardware. From…

A proof assistant and a dependently-typed language

A collection of essential TypeScript types

Compile Time Async Dynamic SQL ORM

Enjoy programming while playing a game.

Collection of TypeScript type challenges with online judge

A Vue 3 Component Library. Fairly Complete. Theme Customizable. Uses TypeScript. Fast.

A new Categories library for Agda

Master programming by recreating your favorite technologies from scratch.

Visual Studio Code

👷 TypeScript's largest type utility library