A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
☆18May 22, 2023Updated 2 years ago
Alternatives and similar repositories for automata-golf
Users that are interested in automata-golf are comparing it to the libraries listed below
Sorting:
- Mini-game built on a functional style☆13Jul 2, 2022Updated 3 years ago
- General purpose programming language for cool people.☆16Mar 10, 2023Updated 2 years ago
- An online Pictochat spiritual successor - Draw and chat in real time!☆16Jan 23, 2026Updated last month
- experiments with the Rust type system, including a type-level brainfuck implementation☆36Nov 14, 2024Updated last year
- Bootstrap compiler for Firefly☆56Feb 28, 2026Updated last week
- A high-level programming language written in Scala☆35Nov 26, 2023Updated 2 years ago
- This suite of nodes unlocks high-performance parallel processing in ComfyUI by utilizing **Model Replication**. Unlike standard offloadin…☆41Feb 24, 2026Updated last week
- Composable numerical solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust. WASM compatible☆14Jul 10, 2025Updated 7 months ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- A blazingly fast python library for serializing/deserializing python objects to/from binary files☆10Feb 18, 2026Updated 2 weeks ago
- A powerful Rust SDK for real-time listening and parsing Fourmeme contract events on BSC, with automatic tracking of token lifecycle from …☆52Oct 9, 2025Updated 5 months ago
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- Implementation of a transfer hook which allows for OFAC style sanctioned addresses☆11Feb 3, 2025Updated last year
- A interpreted language called CPound!☆12Aug 26, 2024Updated last year
- Transform one-sentence ideas into full movie concepts with AI. Utilizes OpenAI API, integrating ChatGPT for text generation and DALL-E fo…☆13Jan 1, 2025Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- A code-running bot.☆10Jan 26, 2026Updated last month
- Guide and example code for using Loss Versus Rebalancing to measure LP returns☆10Feb 2, 2024Updated 2 years ago
- a superior left-pad☆10Feb 15, 2024Updated 2 years ago
- https://github.com/lynnpepin/reso made in rust☆15Feb 23, 2022Updated 4 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Mirror the Mac SE video over VGA☆11Jul 14, 2023Updated 2 years ago
- ☆17Sep 5, 2025Updated 6 months ago
- A Geyser plugin using Postgres as the data store.☆16Aug 18, 2025Updated 6 months ago
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated 8 months ago
- Terminal manipulation library in pure Ocaml. Make text-based terminal applications with ease☆10Mar 29, 2024Updated last year
- ☆13Dec 17, 2025Updated 2 months ago
- Programming Language Void☆14Updated this week
- Generalized RISC-V based state transition function for the ZKsync protocol☆28Updated this week
- Port of uCLinux for the Mackerel-68k☆12Oct 8, 2025Updated 5 months ago
- solana vote monitor with real-time tvc (timely vote credits) tracking.☆14Jul 23, 2025Updated 7 months ago
- A highly integrated, small form factor Motorola 68000 based computer featuring "COM" ports and an "ET"hernet controller, and associated b…☆16Oct 7, 2025Updated 5 months ago
- A language-agnostic JSON-encoded instruction-by-instruction test suite for the 68000.☆11May 14, 2024Updated last year
- ☆15Dec 7, 2022Updated 3 years ago
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆13Jan 15, 2022Updated 4 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- [wip] decentralised indexing solution focusing on efficient storage solution for indexed data.☆14Jun 14, 2025Updated 8 months ago
- Difference calculations for the terminal☆12Dec 27, 2023Updated 2 years ago
- Help protect against malicious build scripts☆26Updated this week