0xG63136

0xG63136's Stars

• ricosjp/truck

  Truck is a Rust CAD Kernel.

  Language:Rust1.1k54

• hannobraun/fornjot

  Early-stage b-rep CAD kernel, written in the Rust programming language.

  Language:Rust2.1k119

• subconsciousnetwork/subtext

  Markup for note taking

  Language:Rust27620

• pfrazee/vitra

  Cooperative databases using smart contracts.

  Language:TypeScript1809

• reasoning-machines/pal

  PaL: Program-Aided Language Models (ICML 2023)

  Language:Python48061

• kaveh808/kons-9

  Common Lisp 3D Graphics Project

  Language:Common Lisp59033

• checkthechain/checkthechain

  ctc is a tool for collecting and analyzing historical data of Ethereum and other EVM chains

  Language:Python83391

• tweag/asterius

  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

  Language:Haskell2k58

• digitallyinduced/ihp

  🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

  Language:Haskell5k200

• ipld/ipld

  InterPlanetary Linked Data

  Language:Nunjucks1.3k167

• lurk-lab/lurk-beta

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

  Language:Rust43658

• dawsbot/essential-eth

  🪶 An alternative to ethers & web3 that's 10x smaller

  Language:TypeScript30634

• thblt/write-yourself-a-git

  Learn Git by reimplementing it from scratch

  Language:Shell66777

• bgavran/Lens_Resources

  Theory and Applications of Lenses and Optics

  535

• mxgmn/MarkovJunior

  Probabilistic language based on pattern matching and constraint propagation, 153 examples

  Language:C#7.6k320

• huff-language/huff-rs

  A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

  Language:Rust59580

• celestiaorg/celestia-core

  A fork of CometBFT

  Language:Go495297

• celestiaorg/celestia-node

  Celestia Data Availability Nodes

  Language:Go949958

• celestiaorg/celestia-app

  Celestia consensus node

  Language:Go364346

• lithdew/rheia

  A blockchain written in Zig.

  Language:Zig26717

• jeremyong/klein

  P(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library

  Language:C++76356

• pygae/lean-ga

  A partial formalization of Geometric Algebra in the Lean formal proof verification system.

  Language:Lean524

• ToposInstitute/poly

  Language:TeX1137

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean53228

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k380

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k364

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean5k447

• mighty-gerbils/gerbil

  Gerbil Scheme

  Language:Scheme1.2k115

• google/rax

  Rax is a Learning-to-Rank library written in JAX.

  Language:Python32411

• jax-ml/jax

  Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

  Language:Python31k2.9k