fj / cheryls-birthday-prolog
Solving the Cheryl's Birthday problem -- with Prolog!
☆14Updated 9 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
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- Genetic BF programming☆60Updated 10 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- Scripting with Least Privilege☆108Updated 7 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago
- A bytecode compiler for Python 3☆157Updated 4 years ago
- ZeroScript☆83Updated 9 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- ☆14Updated 9 years ago
- Moon☆58Updated 10 years ago
- Use some TLS servers for trusted timestamping☆42Updated 9 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- FLVIz - Finite Automata Simulator written in QT/Graphviz☆36Updated 9 years ago
- Visualize and inspect custom algorithms with time travelling☆13Updated 6 years ago
- An example of PEG usage☆55Updated 8 years ago
- An Actor-based framework for Lua☆37Updated 8 years ago
- Let your tests describe your program behavior☆62Updated 8 years ago
- X86_64 Linux webserver in assembler☆107Updated 9 years ago
- It's kinda like a forum.☆115Updated 4 years ago
- Test-driven system administration with a little extra logic.☆387Updated 6 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- SAT-based solver for the Hexiom logic puzzle☆33Updated 13 years ago
- Graphical programming editor☆33Updated 8 years ago