this shit cool
Lightning-fast and Powerful Code Editor written in Rust
Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability
A compiler and runtime for normalizing the untyped λ-calculus
Convert your ascii diagram scribbles into happy little SVG
⭐️ A friendly language for building type-safe, scalable systems!
JSON Parser written entirely in TypeScript's type system
A compiler for thin Symbolic Expressions abstraction layer over Lambda calculus.
A massively parallel, optimal functional runtime in Rust
A a Go 1/2 language feature proposal to immutability
A simple, physics-based animation library 🎼
Type-safe database access for Rust
CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.
Intuitive S-expressions editing for Clojure(Script).
Transform your async function to be run concurrently much as possible
A high performance rust-powered UI layout library
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Creusot helps you prove your code is correct in an automated fashion.
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
A JavaScript compiler written in TypeScript targeting C++/V8