Nix ❤️ Cardano

Principled and efficient binary serialization

A browser-based Cardano wallet for developers & testers

NixOS MicroVMs

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

A markup-based typesetting system that is powerful and easy to learn.

Godot Engine – Multi-platform 2D and 3D game engine

Probabilistic language based on pattern matching and constraint propagation, 153 examples