wkoszek / flviz
FLVIz - Finite Automata Simulator written in QT/Graphviz
☆36Updated 9 years ago
Alternatives and similar repositories for flviz:
Users that are interested in flviz are comparing it to the libraries listed below
- An example of PEG usage☆55Updated 8 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- A prolog-like language with compound truth value logic☆68Updated 7 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- A compiler from Forth to Scratch☆22Updated 8 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- An Actor-based framework for Lua☆37Updated 8 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆104Updated 6 years ago
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Updated 9 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- My implementations of deterministic and non-deterministic turing machines☆70Updated last year
- An arrow-based parser combinator library for C☆40Updated 15 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- Genetic BF programming☆60Updated 10 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Andl is A New Database Language☆75Updated 8 years ago
- KDB bindings for lua☆27Updated 5 years ago
- Software Development Platform for ARM / Android terminals☆39Updated 8 years ago
- Experimental spreadsheet UI for kdb+/k4/q☆32Updated 10 years ago
- rcor C compiler (under development)☆115Updated 7 years ago
- 🔄 Flexible C memory allocation scheme☆78Updated 2 months ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- JIT compiler for 6502 machine code, built on lib6502 and LLVM☆54Updated 10 years ago
- state machine visual debugger☆121Updated 10 years ago
- exokernel style operating system based on lightweight virtual machines☆25Updated 8 years ago
- Mockfighter is a Stockfighter clone☆15Updated 9 years ago