Life & fun · alternatives · 2026
24 alternatives to Sheng, a Small but Fast Deterministic Finite Automaton
Deterministic Finite Automata (DFA, subsequently) are a fundamental structure. Most state machines that programmers build are some variant on a DFA, whether they are built by jumping around inside a switch statement or moving from state to state in a table structure. They have uses all over the plac
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Sheng, a Small but Fast Deterministic Finite Automaton launched in 2018; newer entries below may have overtaken it.
- 1
A DFA(Deterministic finite automata) and NFA to C compiler and Visualiser - TOCC/README.md at master · LakshyAAAgrawal/TOCC
2020 · github.com · its alternatives →
- 2
Outlines is a Python library that focuses on text generation with large language models. Brandon and I are not LLM experts and started the project a few months ago because we wanted to understand better how the generation process works. Our original background is probabilistic, relational and symbolic programming. Recently we came up with a fast way to generate text that matches a regex (https://blog.normalcomputing.ai/posts/2023-07-27-regex-guide...). The basic idea is simple: regular expressions have an equivalent Deterministic-Finite Automaton (DFA) representation. We…
2023 · github.com · its alternatives →
- 3
Windows GUI DFA simulator that visualizes finite automata and state transitions - wkoszek/flviz
2015 · github.com · its alternatives →
- 4
2017 · craftinginterpreters.com · its alternatives →
- 5
UI as finite-state machine . Contribute to stepanvanzuriak/Finite development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 6
Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
- 7
Automata simulator for dfa, nfa, pda & turing machines
2025 · automataverse.com · its alternatives →
- 8
Introduces the programming language Numbat and its type system
2023 · numbat.dev · its alternatives →
- 9
Marsha is a functional, higher-level, English-based programming language that gets compiled into tested Python software by an LLM - alantech/marsha
2023 · github.com · its alternatives →
- 10
Prela is an embedded query language based on Tarski's Algebra of Relations. Its queries are concise, clear, and fast. It is implemented by shallow embedding in a host programming language: Prela operators are regular functions in the host. The implementation follows continuation-passing style which compiles to efficient columnar execution.
Jun 2026 · github.com · its alternatives →
- 11
A lisp dialect based on pattern matching and term rewriting - abuseofnotation/termlisp
2024 · github.com · its alternatives →
- 12
Compiler for a small language into x86-64 Assembly - MauriceGit/compiler
2020 · github.com · its alternatives →
- 13
Simple SQL finite state machine for Postgres. Contribute to michelp/pgfsm development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 14MN
2015 · morfalang.org · its alternatives →
- 15
A finite-state machine library for the Go programming language - calebwin/go-sm
2018 · github.com · its alternatives →
- 16
Scheme-langserver digest incomplete Scheme code to serve real-world programming requirements, including goto-definition, auto-completion, type inference and such many LSP-defined language feature supports. And this project is based here(https://github.com/ufo5260987423/scheme-langserver). I built it because I was tired of Scheme/Lisp's raggy development environment, especially of the lack of IDE-like highly customized programing experience. Though DrRacket and many REPL-based counterparts have don't much, following general cases aren't reach same-level as in other…
Feb 2026 · github.com · its alternatives →
- 17
Nondeterministic finite queued dialog automaton
2024 · gitlab.com · its alternatives →
- 18
A deterministic coding-agent runtime for repeatable, auditable AI software engineering. - arman-jalili/rigorix-oss
Jul 2026 · github.com · its alternatives →
- 19DM
2012 · dfsch.org · its alternatives →
- 20
I'm excited to introduce a new beta version of LIPS Scheme. The most important features of this
Aug 2026 · lips.js.org · its alternatives →
- 21
We’re shipping an execution model that sits between LLM code generation and autonomous agents. The LLM generates only the glue logic between two deterministic interfaces: - a UI schema the frontend knows how to render - a constrained runtime interface exposed by the backend, from specific functions like list_comments to broader primitives like a restricted http_call Both interfaces are fixed, typed, and inspectable. The LLM can’t invent UI components or backend capabilities. It only composes what already exists. This is adjacent to A2UI, but the cut is different. A2UI renders agent actions…
2021 · cased.com · its alternatives →
- 22
I formalized the Single Source of Truth (SSOT) principle in Lean 4 (~2.1k LOC, zero sorry) and proved two core results: Structural SSOT is achievable only when a language provides definition-time hooks and runtime introspection. Macros/codegen (before definition) and reflection (after definition) are insufficient. These requirements are derived, not chosen: because structural facts are fixed at definition, derivation must occur at definition time and be introspectable to verify DOF = 1. Would appreciate review, critique, or independent checking of the Lean scripts.
Jan 2026 · zenodo.org · its alternatives →
- 23
Efficient and general syntactical decoding for Large Language Models - structuredllm/syncode
2024 · github.com · its alternatives →
- 24
Declarative flat parsing engine. No AST - only SoA tables, zero-copy spans and SIMD/SWAR - vgnapuga/meon
Jul 2026 · github.com · its alternatives →
Also compare
- TOCC – A Tiny DFA to C Compiler alternatives
- LLMs can generate valid JSON 100% of the time alternatives
- Finite Automata Simulator Written in QT/Graphviz alternatives
- “Statements and State”, the next chapter of my book on interpreters alternatives
- Micro JavaScript framework inspired by finite-state machine alternatives
- Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model) alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →