algebraic-sofia

ante

A safe, easy systems language

rinha-de-backend-2024-q1

Repositório da 2ª edição da Rinha de Backend

mathlib4

The math library of Lean 4

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

BrainFlowsIntoVRChat

BrainFlow code that sends your brain's relaxation and focus metrics to vrchat avatar paramaters via OSC.

rinha-de-algoritmos

Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!

language-garden

A garden of small programming language implementations 🪴

zokka-compiler

Fork of compiler for Elm, a functional language for reliable webapps.

lean4-cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

pivot-lang

A Rust-like language with immix gc and other cool stuffs

VestPocket

👜 Single-file persisted lookup key/value database contained in a pure .NET 7.0+ library. All records persisted are kept in-memory for fast retrieval and synchronized with the file.

lean4-alloy

Write C shims from within Lean code.

lean-crypto

Cryptographic routines for the Lean 4 language

trebor

an implementation of Observational Type Theory (OTT) and more

fiber

lean2md

machine-emulator-tools

Set of tools to help the development

lean-regex

socket.lean

sockets for Lean 4

lean4-itertools

A Lean 4 library for iterators.

mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

ghb

🤖 Discord Message Cleaner written in Rust

typoggers-lang

Static typed poggers programming language

cartesi-lambada

lean-libuv

Bindings to LibUV in Lean

hpie

Minimal implementation of Pie language

Colorized.lean

A Lean4 library designed to enhance the appearance of terminal output using ANSI escape sequences.

slim_check

Randomized, property-based testing for Lean

http

Basic HTTP definitions and parsing for Lean

lambda-calculus-eval