pilif0

Filip Smola's repositories

Game engine using OpenGL with GLFW

Language:C++MIT5 3 13

LLVM frontend for my pet programming language

Language:C++MIT2 1 10

Formalization of Robin Milner's bigraphs in Isabelle/HOL

Language:Isabelle100

JavaFX program to generate calendar events in iCalendar format for importing into calendars.

Language:JavaGPL-3.01 20

Language:Shell010

LSystem display tool

Language:HaskellUnlicense000

Config files

Language:Vim Script000

Isabelle command to quickly produce Isar proof patterns

Language:Isabelle010

LaTeX style files for Isabelle

Language:TeX000

My OpenGL sandbox using Java

Language:JavaMIT01 1

Language:Ruby000

Space themed game for JamSandwich 2017

Language:JavaApache-2.0020