the-omega-institute/newmath

BEDC: Binary Emission Discovery Calculus (mathlib-free Lean 4 + LaTeX paper)

GitHub repository with 8 stars and 2 forks.

Language: TeX

Topics: formal-verification, lean4, math

Open provider repository

24h trend summary

Trending score 0.10, freshness score 1.00, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-15: 8 stars and 2 forks.

Similar repositories

  1. 1. the-omega-institute/newmath

    BEDC: Binary Emission Discovery Calculus (mathlib-free Lean 4 + LaTeX paper)

    GitHub repository with 8 stars and 2 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: TeX

    Topics: formal-verification, lean4, math

Trending in TeX

  1. 1. gavinkhung/machine-learning-visualized

    ML algorithms implemented and derived from first-principles in Jupyter Notebooks and NumPy

    GitHub repository with 1,582 stars and 144 forks.

    Trending score: 2.56; stars gained: +23; forks gained: +1.

    Language: TeX

    Topics: book, jupyter-notebook, latex, machine-learning, numpy, python

  3. 3. mikubaka88/CCFA-Skills

    A skill family for shaping the research storyline of CCF-A papers.

    GitHub repository with 265 stars and 16 forks.

    Trending score: 1.95; stars gained: +4; forks gained: +2.

    Language: TeX

  4. 4. maxwell2732/pAI-Econ-claude

    一个帮助实证经济学家补齐理论版图的 Claude Code Skill

    GitHub repository with 31 stars and 14 forks.

    Trending score: 1.74; stars gained: +24; forks gained: +12.

    Language: TeX

  5. 5. blanketism/Dummit-Foote-Solutions

    Dummit Foote 3rd Edition Solutions

    GitHub repository with 18 stars and 1 forks.

    Trending score: 1.40; stars gained: +6; forks gained: +0.

    Language: TeX

  6. 6. X2024-AI/reinforcement-learning-notes_Qx

    A collection of reinforcement learning notes with formula derivations, problem records, algorithm source codes and exported PDFs in Markdown & LaTeX format.

    GitHub repository with 30 stars and 1 forks.

    Trending score: 1.29; stars gained: +2; forks gained: +0.

    Language: TeX

Trending topic: formal-verification

  1. 1. creusot-rs/creusot

    Creusot helps you prove your Rust code is correct.

    GitHub repository with 1,772 stars and 78 forks.

    Trending score: 1.10; stars gained: +2; forks gained: +0.

    Language: Rust

    Topics: rust-lang, verification, proof, formal-verification, deductive-reasoning, why3

  2. 2. agentic-prover/aprover

    AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software

    GitHub repository with 16 stars and 1 forks.

    Trending score: 0.63; stars gained: +1; forks gained: +0.

    Language: Python

    Topics: bounded-model-checking, cbmc, formal-verification, llm-agents, program-verification, systems-software

  3. 3. cryspen/libcrux

    The formally verified crypto library for Rust

    GitHub repository with 242 stars and 51 forks.

    Trending score: 0.63; stars gained: +1; forks gained: +0.

    Language: C

    Topics: cryptography, encryption, formal-verification, signatures

  4. 4. Verilean/sparkle

    A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.

    GitHub repository with 81 stars and 12 forks.

    Trending score: 0.59; stars gained: +0; forks gained: +0.

    Language: Lean

    Topics: formal-verification, hardware-synthesis, hdl, lean4, risc-v

  5. 5. jasisz/aver

    Aver is a programming language for auditable AI-written code

    GitHub repository with 49 stars and 0 forks.

    Trending score: 0.55; stars gained: +1; forks gained: +0.

    Language: Rust

    Topics: ai-code, dafny, effect-system, formal-verification, lean4, programming-language

  6. 6. Robby955/FormalSLT

    Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.

    GitHub repository with 33 stars and 9 forks.

    Trending score: 0.41; stars gained: +0; forks gained: +0.

    Language: Lean

    Topics: lean4, machine-learning, mathematics, pac-learning, statistical-learning, theorem-proving