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
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Plot Cookbook☆49Updated 2 years ago
- Render diagrams to Braille☆29Updated 4 months ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Audible NP-Complete Problem☆22Updated 5 years 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 last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆95Updated 4 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 5 years ago
- various toys in j☆12Updated 2 years ago
- A website for drawing ascii art with other people!☆33Updated last year
- A typed, polyglot, functional language☆196Updated this week
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 3 weeks ago
- Variaous articles☆80Updated last year
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- ☆52Updated 4 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated 9 months ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆42Updated 2 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 5 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- libvim: The core Vim editing engine as a minimal C library☆8Updated 4 years ago
- A simple program reducer for any language.☆73Updated last year
- A collection of libraries in Scheme☆13Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly☆33Updated 4 years ago
- A language for pipe-based programming☆52Updated 2 years ago