Alternatives and similar repositories for raskell:

Users that are interested in raskell are comparing it to the libraries listed below

• madvorak / read-lean
  How to read Lean
  ☆17Updated 2 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆100Updated 5 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 7 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆12Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 4 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆59Updated 2 months ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆33Updated 6 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆27Updated 3 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• adamnemecek / traceoid.ai
  ☆76Updated 4 months ago
• neurallambda / arc-like
  Like ARC, but code to generate visual puzzles. 1D puzzles first.
  ☆17Updated 7 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆60Updated 8 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆65Updated 7 months ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated last year
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆15Updated 2 years ago
• gstew5 / games
  ☆10Updated 5 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆36Updated this week
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆28Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆37Updated 8 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago