Alternatives and similar repositories for RamanujanMachine

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

• RamanujanMachine / RamanujanMachine

  View on GitHub
  ☆347Mar 13, 2023Updated 2 years ago
• samsergey / monopig

  View on GitHub
  Monoidal stack machine
  ☆10Nov 25, 2018Updated 7 years ago
• dpiponi / formal-weyl

  View on GitHub
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Jul 25, 2018Updated 7 years ago
• sellibitze / multiarray

  View on GitHub
  Small Rust library for handling multi-dimensional data
  ☆13Feb 9, 2021Updated 5 years ago
• google-deepmind / mathematics_dataset

  View on GitHub
  This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.
  ☆1,934Dec 23, 2024Updated last year
• gusbicalho / effects-toy

  View on GitHub
  Playing with Haskell effect systems
  ☆13Dec 24, 2019Updated 6 years ago
• thautwarm / RSolve

  View on GitHub
  Ask for solutions.
  ☆19Aug 5, 2019Updated 6 years ago
• egison / egison-haskell

  View on GitHub
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Jul 13, 2020Updated 5 years ago
• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• philzook58 / fib-anyon

  View on GitHub
  An implementation of Fibonacci Anyons in Haskell
  ☆22Oct 14, 2019Updated 6 years ago
• merijn / validated-literals

  View on GitHub
  Compile-time checking for partial smart-constructors
  ☆20Jul 13, 2023Updated 2 years ago
• andrewthad / primitive-containers

  View on GitHub
  Map and Set over contiguous memory
  ☆22Aug 9, 2023Updated 2 years ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 2 months ago
• zhangir-azerbayev / lean-chat-vscode

  View on GitHub
  ☆26Aug 2, 2022Updated 3 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving

  View on GitHub
  ☆26Nov 1, 2021Updated 4 years ago
• leanprover-community / LeanSearchClient

  View on GitHub
  Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
  ☆27Dec 16, 2025Updated last month
• weecology / LDATS

  View on GitHub
  Latent Dirichlet Allocation coupled with Bayesian Time Series analyses
  ☆25Sep 17, 2023Updated 2 years ago
• llSourcell / loss_functions_explained

  View on GitHub
  This is the code for "Loss Functions Explained" By Siraj Raval on Youtube
  ☆41Jul 24, 2018Updated 7 years ago
• LightAndLight / closure

  View on GitHub
  Closure calculus implementation
  ☆12Jun 25, 2019Updated 6 years ago
• TobiReinhart / sparse-tensor

  View on GitHub
  typesafe implementation of tensor algebra in Haskell
  ☆13Feb 27, 2021Updated 4 years ago
• Jittor / cutt

  View on GitHub
  CUDA Tensor Transpose (cuTT) library
  ☆10Sep 24, 2021Updated 4 years ago
• verement / lmdb-simple

  View on GitHub
  Simple Haskell API for LMDB
  ☆12Jun 17, 2019Updated 6 years ago
• tdammers / ghc-wiki

  View on GitHub
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Mar 9, 2019Updated 6 years ago
• prince-ph0en1x / QAGS

  View on GitHub
  Quantum Accelerated Genome Sequencing
  ☆11Sep 7, 2021Updated 4 years ago
• kckennylau / local-langlands-abelian

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

  View on GitHub
  Book on Chemical Reactions and Dynamical Systems
  ☆15Apr 11, 2023Updated 2 years ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• open-power-workgroup / BDVictims

  View on GitHub
  Victims of Baidu Memorial
  ☆10May 5, 2016Updated 9 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
• TravisWhitaker / libglaswegian

  View on GitHub
  Use GHC's Memory Allocator from C
  ☆12Feb 22, 2020Updated 5 years ago
• masterdezign / dde

  View on GitHub
  Delay Differential Equations in Haskell
  ☆11Dec 4, 2018Updated 7 years ago
• DanielG / rts-loader

  View on GitHub
  Haskell dynamic RTS loader
  ☆13Jun 24, 2016Updated 9 years ago
• LAC1213 / compact_unit_ball

  View on GitHub
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Dec 7, 2019Updated 6 years ago
• google-deepmind / ferminet

  View on GitHub
  An implementation of the Fermionic Neural Network for ab-initio electronic structure calculations
  ☆817Nov 13, 2025Updated 3 months ago
• apnelson1 / Matroid

  View on GitHub
  ☆13Updated this week
• princeton-vl / think_visually

  View on GitHub
  Code for ACL 2018 paper 'Think Visually: Question Answering through Virtual Imagery'
  ☆13Mar 24, 2023Updated 2 years ago
• EverettYou / SBRG

  View on GitHub
  Spectrum Bifurcation RG
  ☆12Apr 18, 2016Updated 9 years ago
• Fuuzetsu / ghc-prof-aeson-flamegraph

  View on GitHub
  Turn GHC `-pj` profiling output into FlameGraph format.
  ☆13Mar 2, 2018Updated 7 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago