Alternatives and similar repositories for AlJabr-2

Users that are interested in AlJabr-2 are comparing it to the libraries listed below

• AareyanManzoor / Characteristic-Classes

  View on GitHub
  ☆11Sep 15, 2025Updated 5 months ago
• ForeverHaibara / Prover

  View on GitHub
  Auto math prover.
  ☆11Jul 10, 2024Updated last year
• homalg-project / homalg_project

  View on GitHub
  Deposited packages of the homalg project
  ☆17Dec 23, 2025Updated last month
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆11Feb 18, 2024Updated last year
• subfish-zhou / theorem_proving_in_lean4_zh_CN

  View on GitHub
  Lean4中文教程
  ☆35Feb 2, 2025Updated last year
• t123yh / MIPSCPU

  View on GitHub
  A simple MIPS CPU for BUAA CO course (and now NSCSCC).
  ☆10May 15, 2021Updated 4 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• 106368015AlvinYang / Taiwanese-Food-101

  View on GitHub
  ☆10Aug 3, 2020Updated 5 years ago
• flowersteam / EAGER

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• Ja1941 / hilberts-axioms

  View on GitHub
  ☆11Oct 31, 2021Updated 4 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated last year
• asfhiolNick / NTU_PhysicalDesign_201902

  View on GitHub
  張耀文老師的"奈米積體電路實體設計"作業(Physical Design)
  ☆10Jan 18, 2024Updated 2 years ago
• ivanvoid / HHSA

  View on GitHub
  Holo-Hilbert spectral analysis in python
  ☆10Jun 26, 2024Updated last year
• pecu / LawTech

  View on GitHub
  東吳大學x理律學堂《 2021法律科技學暑假營隊》
  ☆13Apr 13, 2023Updated 2 years ago
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• FrancescoSaverioZuppichini / yolov12

  View on GitHub
  ☆11Jan 29, 2023Updated 3 years ago
• m4lvin / tablean

  View on GitHub
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Oct 24, 2023Updated 2 years ago
• GasStationManager / CodeProofTheArena

  View on GitHub
  Lean coding problem solving challenge website with proof verification
  ☆13Jul 8, 2025Updated 7 months ago
• ekinakyurek / gpt3-arithmetic

  View on GitHub
  Scratchpad/Chain-of-Thought Prompts
  ☆12Jun 6, 2022Updated 3 years ago
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Updated this week
• jacksonchen1998 / Image-to-Prompts

  View on GitHub
  A generative text-to-image model is a model that can generate an image from a text prompt.
  ☆10Jul 6, 2023Updated 2 years ago
• ai4reason / ATP_Proofs

  View on GitHub
  Interesting ATP Proofs
  ☆13Sep 3, 2021Updated 4 years ago
• YulongBonjour / BrainCLIP

  View on GitHub
  Coming soon~
  ☆11Jul 15, 2025Updated 7 months ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• zhangir-azerbayev / repl

  View on GitHub
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆12Jun 19, 2023Updated 2 years ago
• AareyanManzoor / Adams-Blue-Book

  View on GitHub
  The TeX for Adams' blue book, by the group TeXromancers
  ☆13Sep 15, 2025Updated 5 months ago
• astrainfinita / transcendental

  View on GitHub
  Lindemann–Weierstrass Theorem
  ☆12May 4, 2024Updated last year
• mgieseki / gsview

  View on GitHub
  Unofficial copy of GSview 5.0
  ☆11Jun 7, 2019Updated 6 years ago
• DanPlayer / randomname

  View on GitHub
  random nickname
  ☆10Jun 1, 2023Updated 2 years ago
• elsamuko / xz_test

  View on GitHub
  Simple c++ wrapper for xz utils
  ☆13Jul 1, 2021Updated 4 years ago
• CECNL / XBrainLab

  View on GitHub
  We introduce XBrainLab, an open-source user-friendly software, for accelerated interpretation of neural patterns from EEG data based on c…
  ☆13Dec 5, 2025Updated 2 months ago
• James-Mc1ntyre / DeepLearningProject

  View on GitHub
  Using Deep Learning techniques to classify Motor Imagery Electroencephalography (EEG) signals
  ☆11Oct 26, 2022Updated 3 years ago
• henry61024 / I-Want-To-Know-JS

  View on GitHub
  JavaScript 心得
  ☆11Feb 13, 2020Updated 6 years ago
• rwbarton / lean-homotopy-theory

  View on GitHub
  A development of homotopy theory in the Lean formal theorem prover.
  ☆14Aug 27, 2020Updated 5 years ago
• nvcleemp / conjecturing

  View on GitHub
  Adding conjecturing to Sage
  ☆14Mar 17, 2023Updated 2 years ago
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Oct 16, 2025Updated 4 months ago
• BYU-PCCL / prompt-compression-contrastive-coding

  View on GitHub
  Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"
  ☆14May 31, 2023Updated 2 years ago
• eigenfoundation / eigenlayer-ecosystem-network

  View on GitHub
  A public repository for teams within the EigenLayer ecosystem to share and align information, including project addresses.
  ☆11Sep 21, 2024Updated last year