fulldecent / structured-acceptance-testLinks
An open format definition for static analysis tools
☆11Updated 2 years ago
Alternatives and similar repositories for structured-acceptance-test
Users that are interested in structured-acceptance-test are comparing it to the libraries listed below
Sorting:
- Code Narrator - an inverse literate programming tool.☆24Updated 12 years ago
- ☆52Updated 8 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 10 years ago
- stack-based RPN functional programming language☆53Updated 7 years ago
- a little web for Io☆36Updated 16 years ago
- the Meta-II VM in C☆20Updated 10 years ago
- Meld virtual machine.☆28Updated 9 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- ☆21Updated 12 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- A powerful, easy-to-use, and easy-to-read programming language for the future.☆392Updated 11 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆59Updated 10 years ago
- Haskell -> Lazy K translator.☆13Updated 11 years ago
- Arc Lisp to C compiler☆32Updated 17 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 4 years ago
- attempt to write a simple Forth interpreter in Python☆35Updated 11 years ago
- Library for parsing and compiling OMeta grammars to ruby☆48Updated 17 years ago
- A programming language☆77Updated 12 years ago
- A new language for the web☆383Updated last year
- A fuzzy logic extension of the CLIPS☆73Updated 10 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 3 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.☆18Updated 10 years ago
- Eiffel JSON library☆18Updated 5 years ago
- Provide a reference implementation for the TTM programming language.☆10Updated 10 years ago
- Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)☆32Updated 5 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆53Updated 8 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Updated last year
- ☆35Updated 8 months ago