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 2 years ago
• howistart / howistart.org
  HowIStart.org Hugo Site
  ☆28Updated last year
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆103Updated 3 years ago
• ftripier / spookyc
  A compiler for the 🎃 Spooky 😱 programming language 👻
  ☆148Updated 6 years ago
• futureofcoding / futureofcoding.org
  ☆146Updated 2 weeks ago
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆34Updated 5 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
• mohd-akram / languages
  A graph of programming languages connected through compilers.
  ☆177Updated 2 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years 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
• jacobaustin123 / Coral
  The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…
  ☆146Updated 4 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 9 months ago
• hellerve / ptolemy
  My reading list
  ☆83Updated 3 years ago
• molleindustria / lichenia
  A city building game for the Anthropocene
  ☆17Updated 6 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• prathyvsh / knowledge-atlases
  Catalogue of portals that maps out roadmap for self learners
  ☆80Updated 2 years ago
• paigeruten / lua-feels
  Lua REPL that gives you a feel for its internals
  ☆51Updated 2 years ago
• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆128Updated 8 years ago
• drasis / cpp_maze_generation
  generating mazes in different shapes
  ☆24Updated 5 years ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 4 years ago
• ana0 / youarearock
  "You are a rock" is a text-based rpg. You play as a rock buried deep beneath the ground.
  ☆28Updated 5 years ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆56Updated 7 years ago
• MichaelBurge / redshift-shellcode
  Example of injecting x64 shellcode into Amazon Redshift
  ☆16Updated 7 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated last year
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 4 years ago
• jb55 / vrscript-samples
  Some vrscript samples by John Carmack
  ☆74Updated 6 years ago