Alternatives and similar repositories for Origins

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

• adamnemecek / traceoid.ai
  ☆111Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
  ☆62Updated last week
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• Dicklesworthstone / model_guided_research
  ☆93Updated this week
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆34Updated last year
• paradigms-of-intelligence / cubff
  ☆172Updated 2 months ago
• math-inc / strongpnt
  ☆292Updated 4 months ago
• vandijklab / Intelligence_at_the_edge_of_chaos
  ☆66Updated 11 months ago
• JonathanGorard / Gravitas
  Gravitas: Analytical and numerical general relativity in discrete and continuous spacetimes
  ☆97Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆284Updated last year
• ActiveInferenceInstitute / ActiveInferAnts
  Active Inference models of/for Ants
  ☆26Updated 5 months ago
• pererossello / nbody_whatever
  ☆58Updated 8 months ago
• neoneye / ARC-Interactive-History-Dataset
  The history files when recording human interaction while solving ARC tasks
  ☆117Updated 2 weeks ago
• haraschax / nograd
  Gradient descent is cool and all, but what if we could delete it?
  ☆106Updated 5 months ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆70Updated 2 years ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• philipturner / molecular-renderer
  Renderer for molecular nanotechnology
  ☆90Updated 3 weeks ago
• JonathanGorard / Cosmos
  The Cosmos numerical relativity code (with unstructured AMR)
  ☆20Updated last year
• akarshkumar0101 / fer
  Code for the Fractured Entangled Representation Hypothesis position paper!
  ☆221Updated 3 months ago
• betsee / betse
  BETSE — Bioelectric Tissue Simulation Engine
  ☆88Updated 9 months ago
• maxencefaldor / cax
  Cellular Automata Accelerated in JAX (Oral at ICLR 2025)
  ☆243Updated 2 months ago
• profConradi / eigenfish
  # Eigenfish Ideas by the wonderful ["Computational Discovery on Jupyter"](https://computational-discovery-on-jupyter.github.io/Computatio…
  ☆172Updated 11 months ago
• NeoVertex1 / ComplexTensor
  ComplexTensor: Machine Learning By Bridging Classical and Quantum Computation
  ☆78Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆18Updated last year
• stockeh / mlx-grokking
  Grokking on modular arithmetic in less than 150 epochs in MLX
  ☆14Updated last year
• MF-FOOM / wikivec2text
  Simple embedding -> text model trained on a small subset of Wikipedia sentences.
  ☆158Updated 2 years ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆38Updated 2 years ago