The smallest Forth real programming language for 6502. Based in milliForth for x86.

An adaptive accrual node failure detection library for Elixir and Erlang

A Unix shell and Lisp REPL, fused together

🛡️ A private certificate authority (X.509 & SSH) & ACME server for secure automated certificate management, so you can use TLS everywhere & SSO for SSH.

This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

OpenEMS - Open Source Energy Management System

Documentation for SSH with OIDC

An extremely fast Python package and project manager, written in Rust.

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Macintosh and Commodore 64 raw disk images from the archives of the original author of ChipWits, Doug Sharp.

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

A repository of Maker Skill Trees and templates to make your own.

Python Pickle library for Erlang

Partition management extension for PostgreSQL

Dillo, a multi-platform graphical web browser

Native Erlang implementation of OPCUA

A CLI batch downloader for your Bandcamp collection.

Use RabbitMQ message broker in GitHub Actions

Serde serializable and deserializable trait objects

The `io_uring` library for Rust

Bandit is a pure Elixir HTTP server for Plug & WebSock applications

A modern Prolog implementation written mostly in Rust.

Constraint Logic Programming over Integers

A set of scripts to synchronize a kobo reader with popular cloud services

Kani Rust Verifier

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

A full-featured implementation of the Network Time Protocol, including NTS support.

Mold: A Modern Linker 🦠

JSON:API Serializer and Query Handler for Elixir