BrunoZell
Follow
Starred repositories
These are the smart contracts used in tokenize.it, along with documentation.
A repository of Solana program examples
A simple lottery program to demonstrate the use of Civic to protect on-chain assets.
CQL: Categorical Query Language implementation in Haskell
Haskell implementation of open games
DefraDB is a Peer-to-Peer Edge Database. It's the core data storage system for the Source Network Ecosystem, built with IPLD, LibP2P, CRDTs, and Semantic open web properties.
A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.
Compositional Differentiable Programming Library
Convex Main Repository - Decentralised platform for the Internet of Value
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
A lightweight library of abstractions for Higher-kinded programming in F#
A "compiler" that can take a WebAssembly/WASI module and convert it to a .NET assembly
A reasoner on the IEML language for coverage and consistency enhancements, and more.
Backstage is an open framework for building developer portals
The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.
🪻A type-safe and highly concurrent library for F# based on pure functional programming
Post-money economy simulator in the form of a free fictional game based on gift economy that tests the hypothesis of having a market system without any exchange be it barters or money.
Monadic execution contexts for topology organization
