dixonary/duvet dixonary/duvet

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dixonary/duvet
github

dixonary

Reviews

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

Repository Details

A comparative checking framework for VASS coverability solvers.

More Repositories

1

draft-reMarkable

A launcher for the reMarkable tablet, which wraps around the standard interface.
C++
147
star
2

fingerterm-reMarkable

A build of fingerterm, modified to draw more nicely on the reMarkable ePaper device.
C++
69
star
3

vimty

A vim typewriter
Vim Script
38
star
4

hove-letter

An implementation of the game Love Letter in the terminal, written in Haskell.
Haskell
15
star
5

button-capture-reMarkable

A simple program to capture gpio button input on the reMarkable.
C++
11
star
6

vino

A JavaScript visual novel engine.
JavaScript
8
star
7

microcosmos

Haskell
6
star
8

swipe-capture-reMarkable

A simple program to report left and right swipes as left and right button presses on the reMarkable.
C++
5
star
9

flagon

A 5E-style document formatting and editing tool.
JavaScript
5
star
10

plain-words

HTML
4
star
11

ocean-sample

Haxe
4
star
12

kosaraju

Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).
Haskell
3
star
13

karp-miller

An implementation of the Karp-Miller coverability tree algorithm in Haskell
Haskell
3
star
14

eurovision-bot

Haskell
2
star
15

rM-inspirobot

Inspirational quotes on your lock screen.
Rust
2
star
16

hake

Snake implemented in Haskell with GLOSS and ALUT
Haskell
2
star
17

hatch

Framework code for the introductory FP workshop.
Haskell
1
star
18

amphi-frontend

Firebase implementation of a watch-along music server.
TypeScript
1
star
19

oeis

An executable program for retrieving data from OEIS.
Haskell
1
star
20

aoc-2018

Advent of code 2018 (Haskell)
Haskell
1
star
21

cs261

Software Engineering Group 16
Java
1
star
22

obs-source-controller

A tiny program for showing and hiding OBS sources, using the websocket plugin.
Haskell
1
star
23

spies

1
star
24

laser-eye-surgery

A game made with Unity in 48 hours for Global Game Jam, using the Tobii EyeX Eye Tracker
C#
1
star
25

aoc-2022

Haskell
1
star
26

cusp-data-dive

Jupyter Notebook
1
star
27

aoc-2021

Solutions to Advent of Code 2021 in Haskell.
Haskell
1
star
28

infinite-jest

A mod for infinite-craft that adds multiplayer lockout / bingo gameplay.
JavaScript
1
star