jamespwilliams/prolog-isolation-checker jamespwilliams/prolog-isolation-checker

  • Stars
    star
    34
  • Rank 752,002 (Top 16 %)
  • Language
    Prolog
  • License
    MIT License
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jamespwilliams/prolog-isolation-checker
github

jamespwilliams

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An encoding of the UK's self-isolation rules in Prolog

More Repositories

1

dns-over-ping

DNS-over-ping(8)
Go
128
star
2

psitop

psitop - top for /proc/pressure
Go
71
star
3

ebnf-shipping-forecast

EBNF specification of the BBC's shipping forecast
43
star
4

slicetricks

Implementations of https://github.com/golang/go/wiki/SliceTricks using generics
Go
22
star
5

neovim-go-nix-develop

Set up a Go neovim development environment in one command using Nix
Lua
21
star
6

bat.vim

Vim colour scheme based on the bat command-line tool
Vim Script
12
star
7

strictbash

Enable Bash "strict mode" & run shellcheck via a shebang
Nix
5
star
8

nde

An IDE-like neovim environment, supporting many languages, which can be instantiated using a single Nix command
Lua
5
star
9

aoc2021

Solutions for 2021's https://adventofcode.com/
OCaml
3
star
10

jameswillia.ms

Source code for https://jameswillia.ms
Nix
2
star
11

catelinkfixer

🔗　Chrome extension to stop CATE forcing URLs on "notes" pages from creating popups
JavaScript
1
star
12

spectre-google-glass

An attempt at an implementation of Spectre v1 for Google Glass
C
1
star
13

etty

Etymology in Go
Go
1
star
14

dotfiles

Configuration files for command-line tools
Vim Script
1
star