adamtopaz

adamtopaz's Stars

• bgavran/Category_Theory_Machine_Learning

  List of papers studying machine learning through the lens of category theory

  Language:Python1.3k69

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp19.3k3k

• hlissner/dotfiles

  And I say hey, what's going on?

  Language:Nix1.6k98

• Kha/aoc-2022

  aoc-2022

  Language:Lean3

• haarnoja/sac

  Soft Actor-Critic

  Language:Python971233

• leanprover-community/lean4-metaprogramming-book

  Language:Lean21151

• leanprover-community/mathzoo

  Lean mathzoo

  Language:Lean234

• mariainesdff/ideles

  Language:Lean8

• alcides/AoC2021Lean4

  My Solutions using Lean 4 for the 2021 edition of the Advent of Code

  Language:Lean7

• xubaiw/Socket.lean

  A toy implementation of socket programming for Lean 4.

  Language:C269

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.4k310

• leanprover-community/lean

  Lean 3 Theorem Prover (community fork)

  Language:C++43580

• leanprover/elan

  The Lean version manager

  Language:Rust29834

• PeterScholze/Analytic

  lecture notes for Analytic Geometry course

  Language:TeX112

• leanprover-community/lean-liquid

  💧 Liquid Tensor Experiment

  Language:Lean17013

• thosgood/translations

  some maths papers in English

  Language:TeX174

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda448136

• agda/agda

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

  Language:Haskell2.5k344

• rwbarton/lean-omin

  Language:Lean10

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k298

• leanprover-community/lean-perfectoid-spaces

  Perfectoid spaces in the Lean formal theorem prover.

  Language:Lean11513

• jgm/gitit

  A wiki using HAppS, pandoc, and git

  Language:Haskell2.1k226