kedlaya / tetrahedra

Related projects: ⓘ

• SnowOnion / category-theory-seminar-notes-cnu-2018
  首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…
  ☆17Updated 5 years ago
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆46Updated last year
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆28Updated 11 months ago
• awodey / math
  Mathematical notes and papers
  ☆23Updated this week
• PENGUINLIONG / rtaichi
  Taichi Frontend for Rust
  ☆39Updated last year
• GeeLaw / laomian
  老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
  ☆10Updated last month
• SchrodingerZhu / ReuseIR
  Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated last week
• marijnheule / Keller-encode
  code related to Keller's conjecture
  ☆78Updated last year
• YuumuKonpaku / arxiv_bot
  ☆23Updated this week
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆27Updated 6 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• grwlf / htvm
  Haskell experiments involving TVM AI framework
  ☆21Updated 5 years ago
• taichi-dev / taichicon
  TaichiCon: Taichi Conferences
  ☆71Updated 2 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 6 years ago
• crlf0710 / tex-rs
  A port of TeX82 to Rust. (WIP)
  ☆33Updated 2 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated last year
• akemimadoka / GC
  ☆12Updated 2 years ago
• bd4sur / Quit-hu
  ☆14Updated this week
• uwsampl / relay-aot
  An experimental ahead of time compiler for Relay.
  ☆51Updated 4 years ago
• KireinaHoro / khtcp
  PKU CompNet'19 Lab 2 - Homebrew TCP
  ☆12Updated 4 years ago
• MarisaKirisame / MemoryBalancer
  ☆22Updated last year
• ChezJrk / verified-scheduling
  ☆32Updated 5 months ago
• taichi-dev / quantaichi
  QuanTaichi evaluation suite
  ☆144Updated 10 months ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆29Updated 5 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆25Updated 3 weeks ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• wangrunji0408 / WanZheBiDong
  An educational game about Wanli Period of the Ming Dynasty
  ☆8Updated 4 years ago