fulldecent / structured-acceptance-test
An open format definition for static analysis tools
☆10Updated 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
- Webpay is an implementation of the WebPaymentProvider spec☆42Updated 8 years ago
- Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.☆18Updated 9 years ago
- run multiple shell commands in parallel and coordinate their output☆32Updated 12 years ago
- This is a plugin to https://discourse.org that provides our set of customizations and extensions.☆12Updated 8 years ago
- ☆52Updated 7 years ago
- This is the mirror of pyaxon repository http://bitbucket.org/intellimath/pyaxon☆22Updated 8 years ago
- Code Narrator - an inverse literate programming tool.☆24Updated 12 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- Meld virtual machine.☆29Updated 9 years ago
- a git implementation in rust. yeah, I know..☆12Updated 8 years ago
- Main Europe Code Week website with static resources.☆36Updated 6 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- A proof assistant.☆12Updated 9 years ago
- A stackoverflow chat bot for Rebol☆20Updated 6 years ago
- ZeroVM Run-Time environment☆65Updated 9 years ago
- A RESPONSIVE HTML5/CSS3 Javascript free Framework for COBOL systems☆19Updated 7 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 9 years ago
- Linux and C programming in a web browser☆26Updated 8 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- A programming language☆77Updated 11 years ago
- ooc operating system☆42Updated 3 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- manage a repository of 0install feeds☆15Updated 9 months ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 9 years ago
- A powerful Pacman (Package Manager) frontend using Qt libs☆11Updated 10 years ago
- Gitorious web interface built with Ruby on Rails (mirror of https://gitorious.org/gitorious/mainline)☆20Updated 9 years ago
- tiny command-line skeleton/snippet thing☆21Updated 6 years ago
- OGDL for C☆17Updated 7 years ago
- How to make these slides - Instructions for making these slides and the editor for it☆10Updated 6 years ago