fulldecent / structured-acceptance-test
An open format definition for static analysis tools
☆10Updated last year
Alternatives and similar repositories for structured-acceptance-test:
Users that are interested in structured-acceptance-test are comparing it to the libraries listed below
- Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.☆18Updated 9 years ago
- Official repo of learnsemantic.com☆24Updated 9 years ago
- run multiple shell commands in parallel and coordinate their output☆32Updated 12 years ago
- Webpay is an implementation of the WebPaymentProvider spec☆42Updated 8 years ago
- Tapper - All-embracing test infrastructure (TAP, automation, virtualization, scheduler)☆33Updated 7 years ago
- Linux and C programming in a web browser☆26Updated 8 years ago
- manage a repository of 0install feeds☆15Updated 8 months ago
- ZeroVM Run-Time environment☆65Updated 9 years ago
- Reference implementation of a Tent server in Ruby☆500Updated 8 years ago
- OGDL for C☆17Updated 6 years ago
- A RESPONSIVE HTML5/CSS3 Javascript free Framework for COBOL systems☆19Updated 7 years ago
- A PEG parsing library☆14Updated 5 years ago
- An -OFun prototype of an Ultra Modern Perl 5☆278Updated 11 years ago
- ☆52Updated 7 years ago
- Main Europe Code Week website with static resources.☆36Updated 6 years ago
- Skeleton files for a new Atlas project☆14Updated 6 years ago
- A revival of the TREE-META compiler-compiler.☆12Updated 6 years ago
- A pure Haskell implementation of Plan9's mk☆16Updated 9 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- ☆9Updated 8 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- A streaming parser for the LOGO programming language.☆23Updated 9 years ago
- a tool for compiling, showing, cross-linking, and otherwise manipulating dictionaries, corpora, linguistic phylogenies, etc.☆23Updated 14 years ago
- OSv GUI☆19Updated 7 years ago
- A proof assistant.☆12Updated 8 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆45Updated last year
- Propositional calculus in Haskell☆11Updated 8 years ago
- ☆30Updated last week
- Aheui interpreter in Javascript☆23Updated 8 years ago