An IL compiler for the Yolol language

Spartan: High-speed zkSNARKs without trusted setup

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

The "batteries included" extended library for the Lean programming language and theorem prover

A data-first Rust-native UI design toolkit.

Lightning-fast and Powerful Code Editor written in Rust

Tiny assembler + cart builder for ECJR

A zero-knowledge Lean4 compiler and kernel

A compiler for the esoteric language ℂ.

😱😰😨😩

Abstract polytopes in Lean!

Emulator for the YOLOL Language

A modern proof language

theorems related to the yeet conjecture (https://www.reddit.com/r/mathmemes/comments/dbfsni/yeet_theorem/)

Extending small finitary QIITs to non-small non-finitary

A refreshingly simple data-driven game engine built in Rust

Test Game Please Ignore

yacctt: Yet Another Cartesian Cubical Type Theory

A Proof-oriented Programming Language

Rayon: A data parallelism library for Rust

Lean 4 programming language and theorem prover

Lean 3's obsolete mathematical components library: please use mathlib4

C++11 Yolol numbers

💥💻💥 A data-parallel functional programming language

A collection of resources related to yolol, its community standards, and what we hope it can become

The server for LBRY comments

CS12 Labs

API Wrapper for Lbryd and Lbrycrdd written in C++