Qiskit quantum error correction framework

⚙️🦀 Build modular and scalable LLM Applications in Rust

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Facilities for async programming and communication in Clojure

Generic IO playback for clojure

A randomizer for Final Fantasy 1 on the NES.

GRIN: Graph Reduction Intermediate Notation, a strongly optimisable intermediate language for lazy functional languages

trampolining retries for clojure

A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.

Prismatic's Clojure(Script) utility belt

A Parser Combinators Library for Clojure

Clojure parser combinators

Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

Anki is a smart spaced repetition flashcard program

♞ lichess.org: the forever free, adless and open source chess server ♞

Purely functional streaming computations in Java

Purely functional random value generation for Java

Property-based testing for Java

A purely functional programming language with first class types

Purely functional data structures in Java

Functional patterns for Java

Low overhead, protected views over Java collections

Lightweight Elixir lenses

A utility for working with nested data structures.

A CRDT library with δ-CRDT support.

A graph data structure library for Elixir projects

Simple from zero to scale

An Elixir library for defining structs with a type without writing boilerplate code.

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

An experiment in replacing the virtual DOM and avoiding diffing