bivab/pytri bivab/pytri

  • This repository has been archived on 04/Jan/2024
  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Python
  • Created over 14 years ago
  • Updated over 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bivab/pytri
github

bivab

Reviews

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

Repository Details

Model Checker for Petri Nets using RPython

More Repositories

1

smbus-cffi

Python bindings for Linux SMBus access through i2c-dev using cffi
Python
61
star
2

they_stole_two_million

PyWeek 10
Python
6
star
3

latitude_export

Google Latitude data exporter
Python
5
star
4

brainfuck

Toy Brainfuck bytecode interpreter using RPython
Python
5
star
5

planets

git merge playground for teaching
Java
4
star
6

gitlab-sync

Utility to synchronize a GitLab group of repositories at once.
Python
2
star
7

prob.vim

Show B parse and type errors in vim
Vim Script
2
star
8

markov-university-classes

Alan Turing, Turingmaschinen und ihr rechtlicher sowie sozialer Kontext
Python
1
star
9

eqsat

Equality Saturation based on http://cseweb.ucsd.edu/~rtate/publications/eqsat/
Python
1
star
10

clpfd

CLP(fd) solver in Prolog using coroutines and attributed variables
Prolog
1
star