joewatt95

joewatt95's Stars

• IBM/FormalML

  Formalization of Machine Learning Theory with Applications to Program Synthesis

  Language:Coq6417

• WebAssembly/stack-switching

  A repository for the stack switching proposal.

  Language:WebAssembly12712

• deepseek-ai/DeepSeek-Prover-V1.5

  Language:Python17010

• kkaunda/spgf

  Structure in Prime Gaps - Formalized

  Language:Lean3

• facebookresearch/Evariste

  HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à connaître, à chercher qu'à trouver la vérité."

  Language:Python241

• MohanadAhmed/LeanMathSigProc

  Language:Lean3

• girving/debate

  Formalizing stochastic doubly-efficient debate

  Language:Lean3

• tweag/ghc-wasm-miso-examples

  Language:Haskell231

• digama0/ast_export

  AST export from Lean 4

  Language:Lean5

• FormalizedFormalLogic/Book

  Summary

  Language:Markdown2

• Deducteam/lean2dk

  WIP translation from Lean to Dedukti

  Language:Lean41

• JOSHCLUNE/LeanSMTParser

  Language:Lean3

• sinhp/groupoid_model_in_lean4

  Language:Lean85

• copier-org/copier

  Library and command-line utility for rendering projects templates.

  Language:Python1.9k172

• VCA-EPFL/leanses

  Lean lens implementation with custom notation.

  Language:Lean4

• vasnesterov/HadwigerNelson

  Hadwiger-Nelson Problem Formalization in Lean 4

  Language:Lean7

• NethermindEth/Clear

  Interactive formal verification tool for Yul programs

  Language:Lean322

• tomhanika/conexp-clj

  A General-Purpose Tool for Formal Concept Analysis

  Language:Clojure5223

• Wasm-DSL/spectec

  Wasm SpecTec specification tools

  Language:WebAssembly259

• anteoas/broch

  A library for handling numbers with units.

  Language:Clojure791

• pkshashank/GFLeanTransfer

  Language:Haskell6

• MichaelMMacLeod/formal-mergesort

  WIP formally-verified implementation of mergesort (efficient; only allocates one auxiliary array, sorts arrays in-place)

  Language:Lean3

• chanind/mathlib-changelog

  Language:Lean10

• risc0/risc0-lean4

  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

  Language:Lean523

• reaslab/jixia

  A static analysis tool for Lean 4.

  Language:Lean36

• rookie-joe/PDA

  151

• seewoo5/lean-poly-abc

  Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4

  Language:Lean8

• LPCIC/elpi

  Embeddable Lambda Prolog Interpreter

  Language:Prolog28235

• dwrensha/animate-lean-proofs

  tool for turning Lean proofs into Blender animations

  Language:Lean312

• google-deepmind/neural_networks_solomonoff_induction

  Learning Universal Predictors

  Language:Python657