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:
- Render diagrams to Braille☆29Updated 3 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 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
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Plot Cookbook☆50Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- The Coil Programming Language☆33Updated last year
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Variaous articles☆80Updated 2 years ago
- A Prototype Debugging Tool for MIT Scheme☆32Updated 5 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 4 months ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- An introduction to the J programming language that gets to the point.☆62Updated 2 months ago
- a new web framework, an entire platform really, designed from the ground up to handle complex things easily. Put the power of an entire O…☆129Updated 2 months ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated 2 months ago
- A dot matrix rendered using braille characters.☆26Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- A new declarative programming language☆23Updated 4 years ago
- Emulator for the Hack CPU.☆47Updated 7 months ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago