RadNi

RadNi's Stars

• Defi-Cartel/salmonella

  Wrecking sandwich traders for fun and profit

  1.8k163

• PoriaKH/csp-graph-colouring-visualizer

  solving and visualizing the graph-coloring-problem using React and AI

  Language:JavaScript1

• omurovec/modexp-range-prover

  RiscZero Application to generate and verify proofs of modular exponentiation execution where exp is within some range

  Language:Rust1

• benjaminion/upgrading-ethereum-book

  Source repo for Upgrading Ethereum, A technical handbook on Ethereum's move to proof of stake and beyond.

  Language:JavaScript20319

• ethereum/go-ethereum

  Go implementation of the Ethereum protocol

  Language:Go47.1k19.9k

• prysmaticlabs/prysm

  Go implementation of Ethereum proof of stake

  Language:Go3.4k983

• INL-Laboratory/RawTLSRecordsOpenSSL

  A modification to OpenSSL library so that it would return the Raw TLS records it has read to produce the decrypted data.

  1

• ClickHouse/ClickHouse

  ClickHouse® is a real-time analytics DBMS

  Language:C++36.7k6.8k

• bcc-research/CFMMRouter.jl

  Convex optimization for fun and profit. (Now in Julia!)

  Language:Julia31258

• syncsynchalt/illustrated-tls13

  The Illustrated TLS 1.3 Connection: Every byte explained

  Language:HTML80975

• syncsynchalt/illustrated-tls12

  The Illustrated TLS 1.2 Connection: Every byte explained

  Language:Go3.4k208

• RadNi/uniswap-plutus

  A complete version of Uniswap in Plutus.

  Language:Haskell113

• ncase/trust

  An interactive guide to the game theory of cooperation

  Language:JavaScript5.7k914

• KaihuaQin/defi-mooc-lab2

  Language:Solidity36146

• ekmett/lens

  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

  Language:Haskell2k271

• smart-chain-fr/tokenomia

  Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.

  Language:Haskell7627

• isaactwong/typeclassopedia

  Solutions to the problems in Haskell's Typeclassopedia

  Language:Haskell92

• rkaippully/gamgee

  A command-line replacement for the Google Authenticator App

  Language:Haskell254

• input-output-hk/lobster-challenge

  Simple Plutus contract to help give Charles' stuffed lobster a name

  Language:Haskell17958

• mgrabmueller/TransformersStepByStep

  Tutorial on monad transformers

  Language:TeX5814

• lexi-lambda/lexi-lambda.github.io

  Language:Racket297

• IntersectMBO/plutus

  The Plutus language implementation and tools

  Language:Haskell1.6k475

• lorenzb/libsubmarine

  Implementation of a novel practical scheme for submarine commitments

  Language:Python22431

• kindofdev/plutus-pioneer-program-iter2

  Language:Haskell2

• adacapo21/plutusPioneerProgram

  Plutus Pioneer Program #2 Cohort

  Language:Haskell268

• hyperledger/indy-node

  The server portion of a distributed ledger purpose-built for decentralized identity.

  Language:Python683655

• vinayak-mehta/present

  A terminal-based presentation tool with colors and effects.

  Language:Python4.3k165

• initc3/i-cant-believe-its-not-stake

  resource exhaustion vulnerabilities in PoSv3 cryptocurrencies

  Language:Python2314

• incentivus/onelayer

  One layer to rule them all, one layer to find them, One layer to bring them all, and in abstraction bind them.

  Language:Julia1

• narimannemo/pine

  An Explainable AI framework for interpreting Deep Neural Networks predictions.

  Language:Jupyter Notebook3