imaqtkatt

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

gleam

⭐️ A friendly language for building type-safe, scalable systems!

HVM

A massively parallel, optimal functional runtime in Rust

redis-rs

Redis library for rust

futhark

:boom::computer::boom: A data-parallel functional programming language

bumpalo

A fast bump allocation arena for Rust

cakeml

CakeML: A Verified Implementation of ML

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

gc-arena

Incremental garbage collection from safe Rust

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

vulpi

🦊 | A language that compiles to LLVM and has algebraic effects

edn-rs

[DEPRECATED]: Crate to parse and emit EDN

MinecraftEmPythonkkkkkkk

puythjonkkkjeuyminecra

theme-toaster

monosami

98% black and white monochrome theme for Zed Editor

Atiny

Atiny is a simple compiler for a ML like language

linalg

Linear algebra library for Bend

salem

🗼 | Unification algorithms

babi-lang