Alternatives and similar repositories for ConstellationFinder

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

• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• etiams / lambdaspeed
  Computing 2^1000 in 7 seconds with semioptimal lambda calculus
  ☆24Updated this week
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 7 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• vtereshkov / fem
  I ❤︎ FEM: A finite element method demo in Umka and tophat
  ☆17Updated 8 months ago
• voyd-lang / voyd
  A WebAssembly Language For Full Stack Web Development
  ☆20Updated 6 months ago
• vihdzp / miratope-rs
  A tool for building and visualizing polytopes.
  ☆61Updated 2 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆54Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆52Updated 2 months ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated 2 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆68Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated last week
• hclarke / triangle-sine
  ☆9Updated last year
• ad-si / Woxi
  Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
  ☆31Updated last week
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• molarmanful / sclin
  A concatenative cyborg chimera.
  ☆10Updated 4 months ago
• tearflake / symbolverse
  minimalistic symbolic term rewriting framework
  ☆15Updated this week
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• nooga / fy
  A a tiny concatenative programming language JIT compiled to aarch64 machine code.
  ☆12Updated last year
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆37Updated last month
• pimlu / fractran
  World's fastest FRACTRAN interpeter
  ☆14Updated 2 years ago
• deeper-game / deeper
  Cooperative first-person roguelike dungeon crawler where spells are programs
  ☆18Updated last year
• lennart-finke / simuwaerm
  A simple heat simulation in pure Rust.
  ☆29Updated 10 months ago
• camel-cdr / bfcpp
  Optimizing Brainfuck interpreter in the C preprocessor
  ☆61Updated 2 years ago