Proof assistant based on the λΠ-calculus modulo rewriting

OGDF, the Open Graph Drawing Framework/Open Graph algorithms and Data structure Framework.

A dark charcoal theme for modern Neovim & classic Vim

A collaborative bibliography of work related to the theory and practice of computational effects

A & T

An extensible infix syntax for math in Common Lisp.

A language server that offers Lua language support - programmed in Lua

Mirror of the LuaJIT git repository

A fresh implementation of Common Lisp

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Chez Scheme

stb single-file public domain libraries for C/C++

An Emacs framework for the stubborn martian hacker

Set of eye pleasing themes for GNU Emacs. Supports both GUI and terminal.

MSDF font atlas generator

High performance UI layout library in C.

📚 Collaborative cheatsheets for console commands

🦸cape.el - Completion At Point Extensions

Mirror of GNU Emacs

C++ Library Manager for Windows, Linux, and MacOS

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing lis…

A modern port of Turbo Vision 2.0, the classical framework for text-based user interfaces. Now cross-platform and with Unicode support.

Extensions to Dired

C/C++ server and network library, including coroutine,redis client,http/https/websocket,mqtt, mysql/postgresql/sqlite client with C/C++ for Linux, Android, iOS, MacOS, Windows, etc..

A cross-platform x86 assembler with an Intel-like syntax