Beast code in Giters

phlo's repositories

A VIM plugin that adds support for the BTOR2 word-level model checking format

Language:Vim ScriptMIT2 20

Advent of Code Submissions.

Language:Python000

A simple virtual machine for simulating random sequences of memory access by concurrent programs.

Language:SMTNOASSERTION020

Custom Gentoo EFI stub kernel updater.

Language:PythonMIT000

Gentoo repository for software provided by http://fmv.jku.at

Language:Shell000

Python library implementing concepts presented in KV Model Checking.

Language:Python000

Markdown Viewer / Chrome Extension

Language:CSSMIT020

Repository containing custom ebuilds.

Language:Shell010

Modularized command line tools made easy.

Language:PythonMIT000

An immutable data structure representing quantified boolean formulas.

Language:JavaMIT000

Send emails from your command line.

Language:Python010

A quick and dirty binary package host implementation.

Language:ShellMIT000