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
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated last year
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆102Updated 3 years ago
• tom-p-reichel / svg-is-turing-complete
  An implementation of rule 110 in Scalable Vector Graphics
  ☆147Updated 4 years ago
• netb258 / clj-maze
  ☆21Updated 5 years ago
• guardian / techtime
  General repository for everything techtime.
  ☆14Updated last year
• mohd-akram / languages
  A graph of programming languages connected through compilers.
  ☆177Updated 2 years ago
• alda-lang / alda-core
  The core machinery of Alda
  ☆78Updated 4 years ago
• willcipriano / Podje.li
  Podjeli is file sharing on your terms, encode your file into URLs. SPA written in JavaScript with JQuery.
  ☆17Updated 4 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• fergusq / roda
  Röda: A stream-oriented scripting language
  ☆43Updated 6 years ago
• kelvindecosta / alan
  A programming language for designing Turing Machines.
  ☆52Updated 4 years ago
• alephyud / bel
  A mirror of Paul Graham's Bel source code and documentation, formatted
  ☆50Updated 2 years ago
• Kevinpgalligan / GoLfind
  Finding Game of Life states that lead to pictures.
  ☆18Updated last year
• howistart / howistart.org
  HowIStart.org Hugo Site
  ☆28Updated last year
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 4 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆33Updated 5 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• AbhinavOmprakash / luna
  A DSL that translates to regex
  ☆141Updated 2 years ago
• polymeris / carlos
  Autogenerated SVG illustrations inspired by Carlos Cruz-Diez' Physichromies.
  ☆15Updated 8 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• netb258 / imgur-dedup
  This program goes through an imgur album and finds all duplicate images.
  ☆12Updated 5 years ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆54Updated 7 years ago
• gfredericks / qubits
  Qubits in Clojure
  ☆40Updated 10 years ago
• aumouvantsillage / TablaZinc
  Generate guitar tablatures using a constraint solver
  ☆138Updated 5 years ago
• sjl / flax
  Weaving art from seeds.
  ☆21Updated 3 years ago