Giters
Jakub Opršal (jakub-oprsal)

jakub-oprsal

Geek Repo

8

followers

22

following

30

stars

Company:University of Birmingham

Location:Vienna, Austria

Home Page:https://jakub-oprsal.info

Github PK Tool:Github PK Tool

Jakub Opršal's repositories

pcsptools

Tools for checking identities in polymorphism minions. Mostly.

Language:PythonLicense:MITStargazers:8Issues:3Issues:2

thead

Python script to generate LaTeX headers

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

bibskiptex

Parse bibliography and create a .bbl file without running LaTeX first.

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

empty-manuscript

A template for a manuscript

Language:MakefileLicense:MITStargazers:0Issues:0Issues:0

missing-semester

The Missing Semester of Your CS Education -- UoB Edition📚

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

tmarko

Hack of marko markdown parser for LaTeX output

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