jamespwilliams / prolog-isolation-checker
An encoding of the UK's self-isolation rules in Prolog
☆34Updated 3 years ago
Alternatives and similar repositories for prolog-isolation-checker:
Users that are interested in prolog-isolation-checker are comparing it to the libraries listed below
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Plot Cookbook☆50Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated last year
- Variaous articles☆80Updated 2 years ago
- Render diagrams to Braille☆29Updated 5 months ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Updated 2 years ago
- T1 Main Web Site☆14Updated 5 years ago
- A dot matrix rendered using braille characters.☆26Updated 3 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- various toys in j☆12Updated 2 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- The Coil Programming Language☆34Updated last year
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated last month
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 10 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- an ersatz lisp for tiny birds. a code riff.☆43Updated last year
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- A Prototype Debugging Tool for MIT Scheme☆32Updated 5 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- ☆14Updated 4 years ago