Repositories list

• noir-env

  Public
  A Nix development environment with Noir and related ZK tools.

  zksnarksnix-flake+ 2

  zksnarksnix-flakenoir-langcircom-language

  Nix

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 7, 2025Dec 7, 2025

• local-cardano-service-configs

  Public
  Shell

  •00 forks•22 stars•00 issues•00 pull requests•Updated Dec 1, 2025Dec 1, 2025

• ep133-lean4

  Public
  Lean4 tools for the EP-133 K.O. II sampler composer

  lean4ep133

  lean4ep133

  Lean

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 17, 2025Nov 17, 2025

• deltaq-jupyter

  Public
  Jupyter kernel for DeltaQ

  jupytersimulationnetwork+ 1

  jupytersimulationnetworkdelta-qsd

  Nix

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 16, 2025Sep 16, 2025

• nix-derivations

  Public
  Nix

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 5, 2025Sep 5, 2025

• nacatgunma

  Public
  An experimental blockchain that supports fluid consensus.

  rdfblockchainipld

  rdfblockchainipld

  Go

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jul 10, 2025Jul 10, 2025

• cyfryngwr

  Public
  Agent for cwtch

  Go

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 2, 2025Mar 2, 2025

• ouroboros-leios.env

  Public
  Development environment for Ouroboros Leios

  cardano

  cardano

  Nix

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 13, 2025Jan 13, 2025

• crypto-lean4

  Public
  Implementation of various cryptographic functions in Lean4

  cryptographyelliptic-curveslean4

  cryptographyelliptic-curveslean4

  Lean

  •

  MIT License

  •00 forks•33 stars•1111 issues•00 pull requests•Updated Dec 29, 2024Dec 29, 2024

• ouroboros-lean4

  Public
  Ouroboros protocols in Lean4

  blockchainformal-methodsouroboros+ 1

  blockchainformal-methodsouroboroslean4

  Lean

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 11, 2024Oct 11, 2024

• iog-agda-prelude

  Public
  Agda

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 9, 2024Aug 9, 2024

• ipfs-jwe

  Public
  JWE for IPFS

  Go

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 21, 2024Jul 21, 2024

• marlowe-cardano

  Public
  Marlowe smart contract language Cardano implementation

  Haskell

  •

  Apache License 2.0

  •4747 forks•00 stars•00 issues•00 pull requests•Updated Jan 30, 2024Jan 30, 2024

• marlowe

  Public
  Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

  Isabelle

  •

  Apache License 2.0

  •4444 forks•00 stars•00 issues•00 pull requests•Updated Jan 29, 2024Jan 29, 2024

• marlowe-clean

  Public
  Scripts for find and advance all Marlowe transactions that have timed out.

  Nix

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 28, 2024Jan 28, 2024

• marlowe-stat

  Public
  Scripts to compute and publish statistics for Marlowe contracts on public networks.

  R

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 28, 2024Jan 28, 2024

• marlowe-ici

  Public
  This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain.

  ipfsipldcardano+ 2

  ipfsipldcardanomarlowewebrtc-star

  Haskell

  •

  Apache License 2.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jan 28, 2024Jan 28, 2024

• marlowe-plutus

  Public
  Plutus validators for the Marlowe financial contract DSL

  Haskell

  •

  Apache License 2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Jan 22, 2024Jan 22, 2024

• marlowe-doc

  Public
  Documentation of the Marlowe language and ecosystem

  MDX

  •

  Apache License 2.0

  •44 forks•00 stars•00 issues•00 pull requests•Updated Jan 20, 2024Jan 20, 2024

• marlowe-starter-kit

  Public
  This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Docker deployment of Marl…

  Jupyter Notebook

  •

  Apache License 2.0

  •1616 forks•00 stars•00 issues•00 pull requests•Updated Jan 17, 2024Jan 17, 2024

• infovis-parallel

  Public
  Haskell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• infovis-unity

  Public
  C#

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• kafka-device-leap

  Public
  Haskell

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• color-counter

  Public
  Haskell

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• opengl-dlp-stereo

  Public
  Haskell

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• opengl-spacenavigator

  Public
  Haskell

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• distributed-process-simplewidenet

  Public
  Haskell

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• leap-tracker

  Public
  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• tango-infovis

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• handa-opengl

  Public
  Haskell

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022