Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Lightweight coding agent that runs in your terminal

an interactive programming language

Get your documents ready for gen AI

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

Erlang Language Platform. LSP server and CLI.

aider is AI pair programming in your terminal

AI Pair Programming in Emacs with Aider

Calculate UK capital gains tax from broker exports — supports Charles Schwab, Trading 212, Morgan Stanley, Sharesight, Vanguard, and Freetrade.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…

System for collecting, deriving and working with facts about source code.

Demonstrate building Clang tools outside the LLVM tree

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

💀💀💀 The former home of clangir incubator, now part of the official llvm-project.

Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard

BibTEX support for GOST standard bibliographies

Termux - a terminal emulator application for Android OS extendible by variety of packages.

A package build system for Termux.

An open-source C++ library developed and used at Facebook.

Python 3.6+ based Datadog Agent alternative for IoT devices.

RingCentral Embeddable with Electron. Support Linux/Unix (Community)

Eclipse Project of testing low level ST32 cortexM4 code on QEMU with Gtest

Template metaprogramming gpio library for stm32 microcontrollers written in C++

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Kamailio - The Open Source SIP Server for large VoIP and real-time communication platforms, focusing on flexibility, security and scalability

Additional materials related to Bitcoin and Cryptocurrency Technologies course on Coursera, maintained by the mentors of that course.

A comprehensive web framework aimed at building custom Haskell handlers for the Nginx Web Server