script to scrape ais and ads-b data

A work-in-progress core language for Agda, in Agda

My mathematical Zettelkasten, created using forester. Moved to sourcehut.

Experimental library for Narya

Ground Zero: Lean 4 HoTT Library

Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda

Simple, beautiful CLI output

Koka language compiler and interpreter

😎TT

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

A proof assistant for higher-dimensional type theory

Source repository for smart contracts used by Circle's stablecoins on EVM-compatible blockchains

All-in-one stablecoin configuration, issuance, and management

Midnight Commander's repository

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Neon Modem Overdrive

Agda is a dependently typed programming language / interactive theorem prover.

An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

Reference implementation and benchmarks of the TwoWorlds compression scheme

🍜 🐈 A tasty Haskell mobile framework

A list of peer-to-peer resources.

A multi-transaction protocol for storing data in the Bitcoin blockchain.

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

High-quality QR Code generator library in Java, TypeScript/JavaScript, Python, Rust, C++, C.