A modular Cardano → PostgreSQL indexer. Parallel extraction pipeline, profile-driven schemas. Pick a profile, get only the extractors and tables you need.

Test monadic programs using state machine based models

A library for building Haskell IDE tooling

A formatter for Haskell source code

Persistence interface for Haskell allowing multiple storage methods.

Test monadic programs using state machine based models

Haskell on Apache Spark.

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Apache Spark - A unified analytics engine for large-scale data processing

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Cryptographic currency implementing Ouroboros PoS protocol