Alternatives and similar repositories for GoT-Check:

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

• howistart / howistart.org
  HowIStart.org Hugo Site
  ☆28Updated 10 months ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 4 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• sjl / flax
  Weaving art from seeds.
  ☆21Updated 3 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 11 months ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 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
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• emnh / rts-reasonml
  Experimental ReasonML implementation of rts game
  ☆47Updated 2 years ago
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆33Updated 4 years ago
• tonyrog / chine
  small stack machine
  ☆16Updated 4 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 6 months ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 9 months ago
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆26Updated 4 years ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 3 years ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆26Updated 6 years ago
• Kevinpgalligan / GoLfind
  Finding Game of Life states that lead to pictures.
  ☆18Updated last year
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆54Updated 7 years ago
• Bogdanp / nemea
  Privacy focused website analytics.
  ☆38Updated 4 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• cellularmitosis / lc3as.py
  An assembler for the LC-3 fictitious computer.
  ☆19Updated 11 months ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago