Alternatives and similar repositories for GoT-Check

Users that are interested in GoT-Check are comparing it to the libraries listed below

• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆56Updated 7 years ago
• ftripier / spookyc
  A compiler for the 🎃 Spooky 😱 programming language 👻
  ☆149Updated 6 years ago
• hellerve / ptolemy
  My reading list
  ☆84Updated 3 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆103Updated 3 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆85Updated 8 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 6 years ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 5 years ago
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated 3 weeks ago
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆34Updated 5 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated this week
• drasis / cpp_maze_generation
  generating mazes in different shapes
  ☆24Updated 5 years ago
• prathyvsh / knowledge-atlases
  Catalogue of portals that maps out roadmap for self learners
  ☆81Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• molleindustria / lichenia
  A city building game for the Anthropocene
  ☆17Updated 6 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 5 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆81Updated last week
• tom-p-reichel / svg-is-turing-complete
  An implementation of rule 110 in Scalable Vector Graphics
  ☆146Updated 5 years ago
• howistart / howistart.org
  HowIStart.org Hugo Site
  ☆28Updated last year
• thesephist / klisp
  A Lisp written in about 200 lines of Ink, featuring an interactive literate programming notebook
  ☆41Updated 4 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• AZHenley / hcse-dissertations
  A list of human-centered software engineering dissertations.
  ☆48Updated 2 years ago
• emnh / rts-reasonml
  Experimental ReasonML implementation of rts game
  ☆48Updated 2 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• eeeeaaii / vodka
  Creative Coding Environment
  ☆126Updated 4 months ago