Alternatives and similar repositories for cheryls-birthday-prolog

Users that are interested in cheryls-birthday-prolog are comparing it to the libraries listed below

• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 9 years ago
• LeptaSpace / zs
  ZeroScript
  ☆83Updated 9 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆69Updated 14 years ago
• bjornedstrom / timmy
  Use some TLS servers for trusted timestamping
  ☆42Updated 9 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆114Updated 4 years ago
• DickingAround / InconvenientMessageDetection
  ☆14Updated 9 years ago
• thehydroimpulse / moon
  Moon
  ☆58Updated 11 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 8 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆47Updated 7 years ago
• r0nk / corvus
  Genetic BF programming
  ☆60Updated 10 years ago
• awalgarg / alpg
  Visualize and inspect custom algorithms with time travelling
  ☆13Updated 6 years ago
• sharkdp / parachuting-robots
  An interactive version of a classic puzzle
  ☆81Updated 7 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago
• incrediblesound / Graph-Reply
  A graph based REPL that saves to and loads from disk
  ☆44Updated 10 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• codahale / sketchy
  A small set of useful probabilistic data structures.
  ☆69Updated 7 years ago
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 13 years ago
• kerkomen / rei
  Process lists easily
  ☆144Updated 8 years ago
• glennw / servo-shell
  Proof of concept HTML/CSS/JS browser UI for Servo
  ☆176Updated 9 years ago
• fxfactorial / brozip
  CLI to concurrently compress, decompress using Brotli algorithm
  ☆39Updated 5 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago