mattearnshaw

mattearnshaw's Stars

• jax-ml/jax

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

  Language:Python31k3375.9k2.9k

• cbaggers/cepl

  Code Evaluate Play Loop

  Language:Common Lisp8664632752

• perone/euclidesdb

  A multi-model machine learning feature embedding database

  Language:C++636322431

• Aquila-Network/aquila

  An easy to use Neural Search Engine. Index latent vectors along with JSON metadata and do efficient k-NN search.

  Language:HTML376214225

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript3768349

• leanprover-community/mathematics_in_lean

  The user home repository for the Mathematics in Lean tutorial.

  Language:HTML294140198

• leanprover-community/lean4-metaprogramming-book

  Language:Lean23484056

• kbuzzard/xena

  Lean Library currently studying for a degree at Imperial College

  Language:Lean22727522

• liamoc/holbert

  A graphical interactive proof assistant designed for education

  Language:Haskell165436

• CMU-HoTT/scott

  Selected Papers of Dana S. Scott

  1581316

• mietek/charity-lang

  Charity language interpreters and literature

  Language:C1141227

• ToposInstitute/poly

  Language:TeX1131927

• avigad/mathematics_in_lean_source

  Source code for the Mathematics in Lean tutorial.

  Language:Lean1001110473

• blanchette/logical_verification_2020

  Companion files for Logical Verification 2020–2021 at VU Amsterdam

  Language:Lean9518513

• awodey/CatLogNotes

  Categorical Logic Notes

  741603

• ImperialCollegeLondon/M4P33

  M4 algebraic geometry course in Lean

  Language:Lean58935

• paolobrasolin/krater

  Template to effortlessly build math-rich websites

  Language:HTML395100

• bojanczyk/slajdomat

  A program for making zooming slides in figma.

  Language:JavaScript32581

• CategoryTheoryArchive/archive

  A digital archive of category theory papers.

  Language:TeX22300

• jonsterling/latex-dieudonne

  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.

  Language:TeX1930

• uemurax/morg

  Organize mathematical thoughts

  Language:Racket19311

• smimram/satex

  String diagrams in LaTeX.

  Language:OCaml13323

• CompositionalPlanning/CompositionalPlanning

  String Diagrams for Assembly Planning

  Language:Jupyter Notebook7201

• mroman42/walters

  The collected works of R. F. C. Walters

  740

• VCA-EPFL/leanses

  Lean lens implementation with custom notation.

  Language:Lean7110

• TwoFX/lean-homological-algebra

  Lean formalizations of things loosely related to homological algebra

  Language:Lean6500

• SamueleGiraudo/Bud-Music-Box

  Generative music through operads.

  Language:OCaml4200

• campl-ucalgary/campl

  Language:Haskell21

• paolobrasolin/remola

  Language:TypeScript133

• pedrominicz/learn

  Miscellaneous proofs made while learning and practicing Lean.

  Language:Lean120