Functionally

All

49 repositories

nacatgunma
Public
An experimental blockchain that supports fluid consensus.
rdf blockchain ipld
Go
•
MIT License
•0•1•0•0•Updated May 26, 2025May 26, 2025
deltaq-jupyter
Public
Jupyter kernel for DeltaQ
jupyter simulation network delta-qsd
Nix
•
BSD 3-Clause "New" or "Revised" License
•0•1•0•0•Updated Apr 23, 2025Apr 23, 2025
cyfryngwr
Public
Agent for cwtch
Go
•0•1•0•0•Updated Mar 2, 2025Mar 2, 2025
ouroboros-leios.env
Public
Development environment for Ouroboros Leios
cardano
Nix
•
Apache License 2.0
•0•1•0•0•Updated Jan 13, 2025Jan 13, 2025
crypto-lean4
Public
Implementation of various cryptographic functions in Lean4
cryptography elliptic-curves lean4
Lean
•
MIT License
•0•2•11•0•Updated Dec 29, 2024Dec 29, 2024
nix-derivations
Public
Nix
•0•0•0•0•Updated Nov 28, 2024Nov 28, 2024
ouroboros-lean4
Public
Ouroboros protocols in Lean4
blockchain formal-methods ouroboros lean4
Lean
•
MIT License
•0•1•0•0•Updated Oct 11, 2024Oct 11, 2024
iog-agda-prelude
Public
Agda
•
Apache License 2.0
•0•0•0•0•Updated Aug 9, 2024Aug 9, 2024
ipfs-jwe
Public
JWE for IPFS
Go
•0•0•0•0•Updated Jul 21, 2024Jul 21, 2024
local-cardano-service-configs
Public
Shell
•0•2•0•0•Updated May 25, 2024May 25, 2024
marlowe-cardano
Public
Marlowe smart contract language Cardano implementation
Haskell
•
Apache License 2.0
•46•0•0•0•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
•44•0•0•0•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
•0•0•0•0•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
•0•0•0•0•Updated Jan 28, 2024Jan 28, 2024
marlowe-ici
Public
This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain.
ipfs ipld cardano marlowe webrtc-star
Haskell
•
Apache License 2.0
•0•2•0•0•Updated Jan 28, 2024Jan 28, 2024
marlowe-plutus
Public
Plutus validators for the Marlowe financial contract DSL
Haskell
•
Apache License 2.0
•2•0•0•0•Updated Jan 22, 2024Jan 22, 2024
marlowe-doc
Public
Documentation of the Marlowe language and ecosystem
MDX
•
Apache License 2.0
•4•0•0•0•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 Marlowe Runtime.
Jupyter Notebook
•
Apache License 2.0
•16•0•0•0•Updated Jan 17, 2024Jan 17, 2024
infovis-parallel
Public
Haskell
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
infovis-unity
Public
C#
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
kafka-device-leap
Public
Haskell
•
MIT License
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
color-counter
Public
Haskell
•
MIT License
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
opengl-dlp-stereo
Public
Haskell
•
MIT License
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
opengl-spacenavigator
Public
Haskell
•
MIT License
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
distributed-process-simplewidenet
Public
Haskell
•
Other
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
leap-tracker
Public
C++
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
tango-infovis
Public
Java
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
handa-opengl
Public
Haskell
•
MIT License
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
vrpn
Public
Haskell
•
MIT License
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022
hleap
Public
Haskell
•
MIT License
•0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy