Alternatives and similar repositories for structured-acceptance-test

Users that are interested in structured-acceptance-test are comparing it to the libraries listed below

• eiffelhub / json
  Eiffel JSON library
  ☆18Updated 5 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• orenbenkiki / codnar
  Code Narrator - an inverse literate programming tool.
  ☆24Updated 13 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• chip8-rust / chip8-vm
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Updated 10 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 10 years ago
• slash-lang / slash
  A new language for the web
  ☆382Updated last year
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆21Updated 10 years ago
• chaosim / dao
  new generation language
  ☆20Updated 12 years ago
• gitorious / mainline
  Gitorious web interface built with Ruby on Rails (mirror of https://gitorious.org/gitorious/mainline)
  ☆21Updated 10 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• sacado / arc2c
  Arc Lisp to C compiler
  ☆33Updated 17 years ago
• Unidata / ttm
  Provide a reference implementation for the TTM programming language.
  ☆10Updated 11 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 7 years ago
• silentbicycle / parade
  run multiple shell commands in parallel and coordinate their output
  ☆31Updated 13 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 9 years ago
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆20Updated 11 years ago
• the-little-prover / the-little-prover.github.io
  ☆11Updated 9 years ago
• mozilla / webpay
  Webpay is an implementation of the WebPaymentProvider spec
  ☆42Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• SurveyMan / SurveyMan
  SurveyMan programming language.
  ☆46Updated 9 years ago
• rorchard / FuzzyCLIPS
  A fuzzy logic extension of the CLIPS
  ☆77Updated 10 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 9 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆30Updated 10 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 9 years ago
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆59Updated 11 years ago
• dropbox / Dropline
  Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.
  ☆18Updated 10 years ago
• adept-dm / adept
  Adept - the predictable dependency management system
  ☆172Updated 11 years ago