fj / cheryls-birthday-prologLinks
Solving the Cheryl's Birthday problem -- with Prolog!
☆14Updated 10 years ago
Alternatives and similar repositories for cheryls-birthday-prolog
Users that are interested in cheryls-birthday-prolog are comparing it to the libraries listed below
Sorting:
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- A Wildflower IDE for touch devices.☆95Updated 10 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- ☆64Updated 9 years ago
- Moon☆58Updated 11 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 10 years ago
- ZeroScript☆83Updated 10 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 12 years ago
- It's kinda like a forum.☆116Updated 4 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- An interactive version of a classic puzzle☆83Updated 8 years ago
- ☆136Updated 6 years ago
- state machine visual debugger☆121Updated 10 years ago
- A project to calculate CO2 emissions of mining bitcoin.☆50Updated 11 years ago
- Genetic BF programming☆61Updated 5 months ago
- An example of PEG usage☆55Updated 9 years ago
- An exercise in cryptographic minimlism☆24Updated 11 years ago
- A bytecode compiler for Python 3☆156Updated 5 years ago
- Graphical programming editor☆33Updated 9 years ago
- A Haskell implementation of the Tor protocol.☆274Updated 8 years ago
- Read the TPP!☆28Updated 2 years ago
- Use some TLS servers for trusted timestamping☆42Updated 10 years ago
- X86_64 Linux webserver in assembler☆107Updated 10 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- a multi-syntax language☆136Updated 9 years ago
- Strange Loop 2014 archives☆188Updated 11 years ago
- SC4 - Strong Crypto for Mere Mortals☆122Updated 4 years ago