jamespwilliams / prolog-isolation-checkerLinks
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:
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- various toys in j☆12Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 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
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A dot matrix rendered using braille characters.☆26Updated 3 years ago
- The Coil Programming Language☆34Updated last year
- Generate semi-dynamic UIs with Concur☆58Updated 4 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 2 years ago
- Render diagrams to Braille☆29Updated last month
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Variaous articles☆80Updated 2 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- ☆60Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- CNN in APL☆22Updated 2 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- Run erlang as a WASI http server (vapourware)☆27Updated 6 months ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated last month
- purple: compiling a reflective language☆32Updated 7 months ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Intuitionistic Programming Language☆11Updated 11 years ago
- Plot Cookbook☆50Updated 2 years ago
- A mirror of Paul Graham's Bel source code and documentation, formatted☆50Updated 2 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆20Updated last week