dixonary/kosaraju dixonary/kosaraju

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dixonary/kosaraju
github

dixonary

Reviews

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

Repository Details

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

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

karp-miller

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

eurovision-bot

Haskell
2
star
14

rM-inspirobot

Inspirational quotes on your lock screen.
Rust
2
star
15

hake

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

hatch

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

amphi-frontend

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

duvet

A comparative checking framework for VASS coverability solvers.
Haskell
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