jamespwilliams / prolog-isolation-checker
An encoding of the UK's self-isolation rules in Prolog
☆34Updated 4 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
Sorting:
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- The Coil Programming Language☆34Updated last year
- Plot Cookbook☆50Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Render diagrams to Braille☆29Updated last month
- An introduction to the J programming language that gets to the point.☆57Updated this week
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- covid-19 data in J☆16Updated 3 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- an ersatz lisp for tiny birds. a code riff.☆43Updated last year
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Emulator for the Hack CPU.☆47Updated 5 months 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 2 years ago
- ☆17Updated 6 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- A website for drawing ascii art with other people!☆33Updated last year
- A collection of libraries in Scheme☆13Updated 4 years ago
- Make and evolve a GUI and its toolkit simultaneously☆15Updated 6 years ago
- ☆14Updated 4 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- interpreter devkit☆25Updated 5 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago