Category-theoretic, collaborative modeling

The Flix Programming Language

Github repository for compositional category theory reading group

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

Automatic validation contexts

Because there weren't enough of these packages already

AllocCheck

AllocCheck

Toolkit for Scala Development

A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.

Picking and pointer events for Bevy.

Irmin is a distributed database that follows the same design principles as Git

Scientific computing in Lean 4

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…

A graphical editor for graph-like structures

Lightning-fast and Powerful Code Editor written in Rust

Simple, expressive, and safe UI library for Scala.js

An FP game engine for Scala.

Web mail of your own

Relational Algebra, now with more algebra!

Building dynamical systems compositionally

Simplicial sets and other combinatorial models of geometric spaces

Build Petri net models compositionally

A declarative, efficient, and flexible JavaScript library for building user interfaces.

Text based MMORPG engine written in Elixir

A world builder's toolkit in Elixir