Alternatives and similar repositories for quipu

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

• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 3 months ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆35Updated this week
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• AngryLawyer / rust-apl
  Experimental APL interpreter in Rust
  ☆15Updated 11 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆22Updated 2 weeks ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆30Updated 8 years ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago
• kspalaiologos / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆11Updated 4 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• Frigorifico9 / ConstellationFinder
  Finds patterns in the Collatz Tree
  ☆19Updated last year
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆26Updated 9 years ago
• dloscutoff / ascii-piet
  A plain-text encoding for Piet programs
  ☆17Updated 3 years ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 6 months ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆43Updated last year
• mlochbaum / BQNoise
  Audio library for BQN
  ☆20Updated last year
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 8 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• OlegSmelov / omgrofl-interpreter
  Omgrofl interpreter
  ☆16Updated 4 years ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago