rachelwiles / GoT-Check

Related projects ⓘ

Alternatives and complementary repositories for GoT-Check

• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆53Updated 6 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 8 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• netb258 / clj-maze
  ☆21Updated 5 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆76Updated 5 years ago
• MichaelBurge / redshift-shellcode
  Example of injecting x64 shellcode into Amazon Redshift
  ☆16Updated 7 years ago
• strangeloop / StrangeLoop2018
  Strange Loop 2018 resources
  ☆50Updated 5 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 7 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 2 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 10 years ago
• pepaslabs / lc3as.py
  An assembler for the LC-3 fictitious computer.
  ☆18Updated 5 months ago
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆63Updated 9 months ago
• molleindustria / lichenia
  A city building game for the Anthropocene
  ☆16Updated 5 years ago
• Kevinpgalligan / GoLfind
  Finding Game of Life states that lead to pictures.
  ☆17Updated 6 months ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆101Updated 2 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• exercism / prolog
  Exercism exercises in Prolog.
  ☆29Updated last week
• rottytooth / Entropy
  Compiler for Entropy, a programming language where all data is in a constant state of decay
  ☆52Updated 3 months ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆31Updated 4 years ago
• TikhonJelvis / Reactive-Life
  A functional reactive GUI for John Conway's Game of Life.
  ☆25Updated 8 years ago
• ncase / attractors
  prototypin' shtuff
  ☆35Updated 2 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 4 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆23Updated last week
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 7 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• emeraldlang / emerald
  Emerald is an object oriented language that uses prototypal based inheritance.
  ☆22Updated 2 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago