An open format definition for static analysis tools
☆11Jan 20, 2023Updated 3 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:
- ☆10Aug 29, 2018Updated 7 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- National Poetry Generation Month 2015☆14Mar 25, 2017Updated 8 years ago
- A strongly typed Forth. Stack elements know their type. Functions, words, strings and tables (Lua-esque tables) are first class types.☆16May 23, 2010Updated 15 years ago
- An abstract-interpretation-based static analysis for inferring refinement types☆16Aug 11, 2025Updated 6 months ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 10 years ago
- IPS - High Level Programming of Small Systems for the AMSAT space projects (communication satellites for radio amateurs)☆23Aug 12, 2019Updated 6 years ago
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- A real-time 3D distance field modeling software☆23Dec 8, 2017Updated 8 years ago
- A static analysis tool for C.☆29Oct 29, 2019Updated 6 years ago
- Guide to Amiga compatible programming☆30Dec 28, 2022Updated 3 years ago
- Github Zombie Fans☆26Oct 24, 2016Updated 9 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Feb 10, 2026Updated 2 weeks ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- Long-term book project☆34Oct 30, 2021Updated 4 years ago
- ☆12Sep 10, 2019Updated 6 years ago
- ☆11Jun 24, 2021Updated 4 years ago
- ☆13Sep 14, 2021Updated 4 years ago
- Click To Cloud DevOps Toolbox☆15Sep 14, 2020Updated 5 years ago
- Pulse-level simulator of the ENIAC☆40Jul 26, 2025Updated 7 months ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Nov 29, 2016Updated 9 years ago
- BLISS-M compiler☆42Sep 15, 2024Updated last year
- Minimal but powerful templating language implemented in multiple languages☆26Dec 6, 2009Updated 16 years ago
- Bootstrap project using commercetools Sunrise Framework & Theme☆10Sep 4, 2019Updated 6 years ago
- Bring workbench back to Laravel 5+ and later.☆10Jul 1, 2020Updated 5 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Jul 23, 2013Updated 12 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Ar…☆10Jan 30, 2018Updated 8 years ago
- Data capture webservices supporting Biocollect and other apps☆10Updated this week
- Easy deployment of kubernetes cluster on ARM architecture☆10Feb 16, 2018Updated 8 years ago
- Driver for the Kopin Cyberdisplay 320m☆12May 4, 2015Updated 10 years ago
- Samples for partner application development (OEM, MO, IHV) for Window☆18Jun 12, 2023Updated 2 years ago
- ☆13Oct 9, 2013Updated 12 years ago
- Run the AWS CLI tools from CoreOS on Docker, the easy way☆12Jul 16, 2017Updated 8 years ago
- ☆13Jan 16, 2017Updated 9 years ago
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- COCO, Analytics, Website, LOOP, Training, IVR, Helpline☆13Jun 22, 2025Updated 8 months ago
- JSON Schema validation library for Robot Framework☆10Jul 2, 2019Updated 6 years ago