UPA is the proof aggregation engine built by NEBRA team.

Services feeded by blockchain tokens, including micro-payments

🔥 🔥 🔥 Open Source Airtable Alternative

Indexing the mainchain of Bitcoin

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Logic programming in Rust

Erla+ is a compiler that transpiles PlusCal specs into Erlang implementations

Interfacing R and Apache Kafka

This tool extracts and displays data from the Recall feature in Windows 11, providing an easy way to access information about your PC's activity snapshots.

querying the Cardano blockchain data in PostgreSQL

Tiny Erlang VM

Research project about privacy preserving database search

Get notified for on-chain transactions

KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.

LLM training in simple, raw C/CUDA

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Solidity, the Smart Contract Programming Language

Cardano on-chain data made accessible on BigQuery

Cardano Db-Sync as a Service

Shell based, minimal dependency bhyve manager

A Coq library for Homotopy Type Theory

A library for formalizing Haskell types and functions in Coq

Partial Commutative Monoids

Hoare Type Theory

FoundationDB - the open source, distributed, transactional key-value store

The official IOTA and Shimmer wallet

The IOTA SDK provides developers with a seamless experience to develop on IOTA by providing account abstractions and clients to interact with node APIs.

Library to create Coq record update functions