Matěj

Tracking 960 commits to 81 open source packages

Company: Red Hat

Location: Czechia

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Coq - CC0-1.0 - Last pushed Oct 17, 2017 - 3 stars

A very rough extract of some of my config files

Vim script - CC0-1.0 - Last pushed Oct 10, 2017 - 0 stars

Implementations of algorithms and notes on the Algorithms, Part I course

C - Unlicense - Last pushed Oct 31, 2015 - 0 stars

Penn's CIS 194 course's homeworks

Haskell - CC0-1.0 - Last pushed Sep 23, 2014 - 0 stars

Rudimentary Vim syntax highlighting for multiple formal verification-related tools

Vim script - MIT - Last pushed Oct 8, 2015 - 0 stars

Silly little WWW watchdog

Python - MIT - Last pushed Nov 11, 2015 - 0 stars

This repository is no longer available - 0 stars

My MediaWiki Dev Branch

PHP - GPL-2.0 - Last pushed Jul 3, 2016 - 0 stars - 1 forks

vagrant mediawiki visual editor

This repository is no longer available - 0 stars

PHP - Other - Last pushed Apr 25, 2018 - 1 stars

The same Mediawiki Installion software that runs https://www.jehovahsays.net/

This repository is no longer available - 0 stars

Config files for my GitHub profile.

Other - Updated Apr 5, 2023 - 0 stars