Giters
mklokocka

mklokocka

Geek Repo

0

followers

0

following

1

stars

Github PK Tool:Github PK Tool

mklokocka's repositories

aluffi

Solutions to exercises found in the book by Aluffi, Algebra: Chapter 0.

Language:TeXStargazers:1Issues:0Issues:0

seminator

Seminator is a free tool for semi-determinization of omega automata.

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:1Issues:3Issues:22

concur

A simple API application enabling easy conversion of currencies and a command line interface to this API.

Language:PythonStargazers:0Issues:0Issues:0

cwtools-ck3-config

Language:F#License:MITStargazers:0Issues:0Issues:0

pbs

PBS is an open source tool for the complementation of Buchi automata.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0