Alternatives and similar repositories for RamanujanMachine

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

• 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
• jjdishere / EG

  View on GitHub
  Formalizing Euclidean Geometry in Lean
  ☆30Mar 21, 2024Updated last year
• gusbicalho / effects-toy

  View on GitHub
  Playing with Haskell effect systems
  ☆13Dec 24, 2019Updated 6 years ago
• quantastica / qconvert-js

  View on GitHub
  Quantum Programming Language Converter
  ☆16Dec 14, 2025Updated 2 months 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
• philzook58 / fib-anyon

  View on GitHub
  An implementation of Fibonacci Anyons in Haskell
  ☆22Oct 14, 2019Updated 6 years ago
• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• merijn / validated-literals

  View on GitHub
  Compile-time checking for partial smart-constructors
  ☆20Jul 13, 2023Updated 2 years ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 2 months ago
• andrewthad / primitive-containers

  View on GitHub
  Map and Set over contiguous memory
  ☆22Aug 9, 2023Updated 2 years ago
• thoughtpolice / asc

  View on GitHub
  Austin's supercompiler work
  ☆21Nov 17, 2019Updated 6 years ago
• zhangir-azerbayev / lean-chat-vscode

  View on GitHub
  ☆26Aug 2, 2022Updated 3 years ago
• facebookresearch / deepmeg-recurrent-encoder

  View on GitHub
  deepmeg recurrent encoder
  ☆25Jun 22, 2022Updated 3 years ago
• CaspianA1 / RasmLISP

  View on GitHub
  A LISP compiler that targets macOS x86_64.
  ☆11Dec 7, 2020Updated 5 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)
  ☆29Updated this week
• rocq-community / apery

  View on GitHub
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆25Jan 27, 2026Updated 2 weeks ago
• jasonrute / thoughts-on-ai-for-theorem-proving

  View on GitHub
  ☆26Nov 1, 2021Updated 4 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
• DanielG / rts-loader

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

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

  View on GitHub
  Jump to better conclusions: SCAN both left and right
  ☆11Jan 24, 2019Updated 7 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
• verement / lmdb-simple

  View on GitHub
  Simple Haskell API for LMDB
  ☆12Jun 17, 2019Updated 6 years ago
• Jittor / cutt

  View on GitHub
  CUDA Tensor Transpose (cuTT) library
  ☆10Sep 24, 2021Updated 4 years ago
• TravisWhitaker / libglaswegian

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

  View on GitHub
  Minimalist compiler course, based on Essential of Compilation
  ☆11Dec 15, 2025Updated last month
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• TobiReinhart / sparse-tensor

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

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

  View on GitHub
  Large-Scale Graph Inference
  ☆12Nov 6, 2024Updated last year
• prince-ph0en1x / QAGS

  View on GitHub
  Quantum Accelerated Genome Sequencing
  ☆11Sep 7, 2021Updated 4 years ago
• masterdezign / dde

  View on GitHub
  Delay Differential Equations in Haskell
  ☆11Dec 4, 2018Updated 7 years ago
• zetter / route-map-maker

  View on GitHub
  Using the wavefunction collapse algorithm to generate random maps with BSicons from Wikipedia
  ☆11Jun 26, 2020Updated 5 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
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year