rei1024

rei1024's Stars

• nathanieljohnston/game-of-life-book

  A textbook for Conway's Game of Life.

  Language:TeX332

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.8k375

• prisma/prisma

  Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB

  Language:TypeScript41.3k1.6k

• vercel/swr

  React Hooks for Data Fetching

  Language:TypeScript31.1k1.3k

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust29.5k1.8k

• danbev/learning-v8

  Project for learning V8 internals

  Language:C++2.6k239

• denoland/deno

  A modern runtime for JavaScript and TypeScript.

  Language:Rust102k5.5k

• swc-project/swc

  Rust-based platform for the Web

  Language:Rust31.8k1.3k

• dvgrn/b3s23life

  Utility scripts, search data, pattern files, etc. related to Conway's Game of Life

  Language:M483

• simsim314/a-mmd

  A-Frame MMD component

  Language:JavaScript1

• Simplr/simplr-router

  Simplr Router is a easy to use and easy to set up router for Web Components.

  Language:HTML486

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust102k13.2k

• AndrasKovacs/setoidtt

  Prototype implementations of systems based on setoid type theory

  Language:Haskell651

• mrkkrp/megaparsec

  Industrial-strength monadic parser combinator library

  Language:Haskell93689

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell64038

• AlephAlpha/awesome-game-of-life

  A curated list of Conway's Game of Life resources and tools.

  7

• digama0/mm0

  Metamath Zero specification language

  Language:Lean33641

• martinescardo/HoTT-UF-Agda-Lecture-Notes

  Lecture notes on univalent foundations of mathematics with Agda

  Language:Agda22420

• Chakazul/Lenia

  Lenia - Mathematical Life Forms

  Language:Python3.6k227

• dhall-lang/dhall-haskell

  Maintainable configuration files

  Language:Dhall926217

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda472143

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda37469

• agda/agda-stdlib

  The Agda standard library

  Language:Agda602244