MrChico

MrChico's Stars

• deezer/spleeter

  Deezer source separation library including pretrained models.

  Language:Python26k3867772.9k

• mxgmn/WaveFunctionCollapse

  Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

  Language:C#23.4k502501.2k

• bluesky-social/social-app

  The Bluesky Social application for Web, iOS, and Android

  Language:TypeScript13.1k842.5k1.7k

• BespokeSynth/BespokeSynth

  Software modular synth

  Language:C++4.1k69856243

• erigontech/erigon

  Ethereum implementation on the efficiency frontier https://erigon.gitbook.io

  Language:Go3.1k633.1k1.1k

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k621.2k380

• d-xo/weird-erc20

  weird erc20 tokens

  Language:Solidity1.4k215176

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris9026018557

• bluesky-social/indigo

  Go source code for Bluesky's atproto services.

  Language:Go89730114117

• radicle-dev/radicle-upstream

  Desktop client for Radicle.

  Language:Svelte616141.2k51

• ethereum/staking-deposit-cli

  Secure key generation for deposits

  Language:Python54247164347

• leonardoalt/ethereum_formal_verification_overview

  Overview of the formal verification projects in the Ethereum ecosystem.

  32320535

• ekmett/guanxi

  Relational programming in Haskell. Mostly developed on twitch.

  Language:Haskell25623629

• ethereum-optimism/contracts

  [Optimism] Smart Contracts

  Language:Solidity2561335118

• LeventErkok/sbv

  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

  Language:Haskell244959334

• tobbebex/GPipe-Core

  Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library

  Language:Haskell158116830

• cmditch/elm-ethereum

  dApps in Elm

  Language:Elm146103521

• hexonaut/guni-lev

  Easy leverage on G-UNI using Dai Flash Mint Module.

  Language:Solidity613112

• highlightjs/highlightjs-solidity

  Language:JavaScript4861417

• well-typed/gp-zurihac-2020

  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

  Language:Haskell447010

• fission-codes/ipfs-haskell

  IPFS wrapper for Haskell

  Language:Haskell43655

• juliannagele/ebso

  EVM Bytecode Super Optimizer

  Language:OCaml352

• vorot93/devp2p

  Language:Rust343165

• paradigmxyz/how-to-raise-the-gas-limit

  Data & code accompanying Paradigm's How to Raise the Gas Limit post.

  Language:Jupyter Notebook33303

• mroman42/vitrea

  Optics via the profunctor representation theorem

  Language:Haskell23643

• hjubb/dapp-pm

  Language:Go19221

• eth-sc-comp/benchmarks

  Symbolic Execution Benchmarks for Ethereum Smart Contracts

  Language:Solidity18643

• better-internet/radworks-docs

  Language:JavaScript15510228

• dddejan/solidity-semantics-tests

  Verification tests for solidity semantics

  Language:Shell3400

• d-xo/solc-lean4

  Language:Lean120