Frigorifico9 / ConstellationFinderLinks
Finds patterns in the Collatz Tree
☆19Updated last year
Alternatives and similar repositories for ConstellationFinder
Users that are interested in ConstellationFinder are comparing it to the libraries listed below
Sorting:
- Quipu Programming Language☆20Updated 12 years ago
- VSCode extension for Metamath☆10Updated last month
- Runtime and miner for the LODA language written in C++☆25Updated this week
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆21Updated last year
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- An interaction combinator runtime☆17Updated 9 months ago
- Basically the C programming language peppered with my preferences☆12Updated 2 weeks ago
- Like APL, but with emojis☆15Updated 3 years ago
- Video about NP-completeness, circuit SAT and "reversing time"☆14Updated 10 months ago
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- A Binary File Markup Language☆24Updated 2 years ago
- A 2d programming language☆20Updated 6 months ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆12Updated last year
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- A fungeoid language where bends in the chain determine the instructions☆12Updated 3 years ago
- Experimental Quantum Computer Simulator + Quantum Chess Implementation☆19Updated 4 years ago
- An implementation of interaction nets as a forth-like language.☆33Updated last month
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆29Updated this week
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- A native desktop app visualizing vector fields☆14Updated 7 months ago
- The Fae Programming Language Toolchain and Standard Library☆29Updated last week
- A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust☆25Updated 3 years ago
- Zig Optimizing Backend☆20Updated 2 weeks ago
- Unicode glyph map inspired by macOS Character Viewer☆23Updated 6 months ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆56Updated 7 months ago
- A functional programming language for procedural art☆64Updated last week
- An esoteric programming language with just two data types: null and tape☆11Updated last year