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
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 9 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆68Updated 14 years ago
• LeptaSpace / zs
  ZeroScript
  ☆83Updated 9 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago
• r0nk / corvus
  Genetic BF programming
  ☆60Updated 10 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• richardgill / BitcoinEmissions
  A project to calculate CO2 emissions of mining bitcoin.
  ☆50Updated 11 years ago
• crodjer / qotr
  [discontinued] Go off-the record, quickly.
  ☆18Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• thehydroimpulse / moon
  Moon
  ☆58Updated 10 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆114Updated 4 years ago
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 9 years ago
• DickingAround / InconvenientMessageDetection
  ☆14Updated 9 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• bjornedstrom / timmy
  Use some TLS servers for trusted timestamping
  ☆42Updated 9 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• AndrewGuenther / jsonf
  A Unix-y utility for formatting JSON in a more stream-friendly way
  ☆66Updated 9 years ago
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• LanJian / godray
  A simple ray tracer.
  ☆38Updated 9 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 7 years ago
• trevp / screech
  Rust implementation of Noise
  ☆126Updated 7 years ago
• codahale / sketchy
  A small set of useful probabilistic data structures.
  ☆69Updated 6 years ago