BrunoZell

BrunoZell's Stars

• backstage/backstage

  Backstage is an open framework for building developer portals

  Language:TypeScript27.5k2236k5.8k

• asyncapi/spec

  The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.

  Language:JavaScript4.1k57444262

• ExtensityAI/symbolicai

  Compositional Differentiable Programming Library

  Language:Python954221353

• primitivefinance/arbiter

  A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

  Language:Rust6681439064

• solana-developers/program-examples

  A repository of Solana program examples

  Language:TypeScript5461621170

• ipdr/ipdr

  🐋 IPFS-backed Docker Registry

  Language:Go534151247

• SteveSandersonMS/dotnet-wasi-sdk

  Packages for building .NET projects as standalone WASI-compliant modules

  Language:C#519474535

• microsoft/causica

  Language:Python426143953

• sourcenetwork/defradb

  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.

  Language:Go397131.4k40

• lastmjs/wasm-metal

  A bare metal physical implementation of WebAssembly. That's right, a WebAssembly CPU.

  Language:TypeScript36113169

• tensil-ai/tensil

  Open source machine learning accelerators

  Language:Scala35392729

• ericsink/wasm2cil

  A "compiler" that can take a WebAssembly/WASI module and convert it to a .NET assembly

  Language:C27823723

• victorb/ipfscrape

  Scrape pages and store them in IPFS

  Language:Shell26815942

• tlsnotary/tlsn

  Rust implementation of the TLSNotary protocol

  Language:Rust2581214869

• microsoft/showwhy

  Language:TypeScript203123629

• palladin/Higher

  A lightweight library of abstractions for Higher-kinded programming in F#

  Language:F#18418825

• statebox/cql

  CQL: Categorical Query Language implementation in Haskell

  Language:Haskell163268715

• stateless-minds/cyber-stasis

  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.

  Language:Go128333

• Convex-Dev/convex

  Convex Main Repository - Decentralised platform for the Internet of Value

  Language:Java93734129

• CategoricalData/hydra

  Transformations transformed

  Language:Java6991139

• Constellation-Labs/tessellation

  Monadic execution contexts for topology organization

  Language:Scala49161227

• thautwarm/FSTan

  Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

  Language:F#42604

• iyyel/fio

  🪻A type-safe and highly concurrent library for F# based on pure functional programming

  Language:F#35600

• philipp-zahn/open-games-engine

  Haskell implementation of open games

  Language:Haskell34109

• ActiveInferenceInstitute/ActiveBlockference

  Language:Jupyter Notebook281006

• corpus-io/tokenize.it-smart-contracts

  These are the smart contracts used in tokenize.it, along with documentation.

  Language:Solidity206863

• IEMLdev/ieml-reasoner

  A reasoner on the IEML language for coverage and consistency enhancements, and more.

  Language:Java7341

• vernuntii/vernuntii

  Simple semantic versioning with git integration.

  Language:C#5200

• civicteam/workshop-solana-lottery

  A simple lottery program to demonstrate the use of Civic to protect on-chain assets.

  Language:TypeScript280

• vletard/gear

  Generic Engine for Analogical Reasoning

  Language:Java2160