Alternatives and similar repositories for raskell

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

• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 9 months ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 5 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 4 months ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆55Updated 3 years ago
• UCSD-PL / proverbot9001
  ☆43Updated 5 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 months ago
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 4 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 6 years ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆31Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 8 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• zhangir-azerbayev / lean-chat
  ☆50Updated 3 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆55Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆112Updated last month
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated 11 months ago