Alternatives and similar repositories for GoT-Check

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

• hellerve / ptolemy
  My reading list
  ☆84Updated 3 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 6 years ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆57Updated 7 years ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆103Updated 3 years ago
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated last month
• osnr / livegb
  Edit Game Boy games in-browser while they're running.
  ☆35Updated 5 years ago
• ftripier / spookyc
  A compiler for the 🎃 Spooky 😱 programming language 👻
  ☆150Updated 7 years ago
• futureofcoding / futureofcoding.org
  An archive of Steve Krouse's Future of Coding research notes
  ☆148Updated last month
• netb258 / clj-maze
  ☆21Updated 6 years ago
• howistart / howistart.org
  HowIStart.org Hugo Site
  ☆28Updated last year
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆101Updated last year
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 2 weeks ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• drasis / cpp_maze_generation
  generating mazes in different shapes
  ☆24Updated 6 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
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 6 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆23Updated last year
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆35Updated 5 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆81Updated 3 years ago
• tom-p-reichel / svg-is-turing-complete
  An implementation of rule 110 in Scalable Vector Graphics
  ☆146Updated 5 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆158Updated 8 months ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆282Updated 11 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• jb55 / vrscript-samples
  Some vrscript samples by John Carmack
  ☆74Updated 6 years ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 5 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆85Updated 8 years ago