apirogov/flat-checker apirogov/flat-checker

  • This repository has been archived on 13/Mar/2024
  • Stars
    star
    4
  • Rank 3,294,242 (Top 66 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 8 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
apirogov/flat-checker
github

apirogov

Reviews

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

Repository Details

SMT-based prototype model checker for LTL with counting that uses flat underapproximations of counter systems (my master's thesis).

More Repositories

1

MCMyAuth

Custom lightweight minecraft authentication system (historic, not updated)
Ruby
14
star
2

x11remote

Mouse and keyboard remote control for X11 systems implemented as a HTML5 web app for touchscreen devices.
JavaScript
11
star
3

sdl2-cairo

Haskell library providing functions to use Cairo to draw on SDL textures and containing a Processing-style convenience drawing API.
Haskell
8
star
4

python-app-template

A Python project template. Archived in favor of the fair-python-cookiecutter template.
Python
4
star
5

Aphorism

Purely web-based AJAX instant messenger (discontinued)
Ruby
2
star
6

APConsoleLib

An extremely lightweight alternative for ncurses etc. for windows and linux, wrapping functions for setting color, getting keypresses and getting/setting console size and cursor location (just compile and see the demo, it's pretty self-explanatory)... It provides just the most neccessary features and is just useful if you just need this kind of features... otherwise use something more 'complete'
C
2
star
7

xmonad-wallpaperhook

XMonad log hook for setting different wallpapers for each workspace.
Haskell
1
star
8

JSnake

Snake game using the HTML5 canvas element (JQuery+ProcessingJS)
JavaScript
1
star
9

Tetris4G

A HTML5 game inspired by Tetris
JavaScript
1
star
10

cairo-canvas

A simpler drawing API for Cairo. Inspired by the Processing language.
Haskell
1
star
11

icpc-tcr

Team Contest Reference
Java
1
star