merkste

Pinned Repositories

pdf.js
PDF Reader in JavaScript
Language:JavaScript1 1 00
petitparser2
A high-performance top-down parser
Language:Smalltalk0 1 00
pharo-wiki
Wiki related to the Pharo programming language and environment.
0 0 00
Pharo2VW
Tooling to export Pharo code to VisualWorks
Language:Smalltalk0 2 00
prism
Development fork of the Prism model checker. Branches are subject to frequent rebasing.
Language:Java2 1 00
Signal-Android
A private messenger for Android.
Language:C2 1 00
SimpleCsvJava
Simple access to CSV files for Java
Language:Java0 1 10
SQList
A small Python-Library to query tables, e.g., read from CSV files, with SQL-like commands.
Language:Python0 1 11
tud-fonts
Installationsskript für die Schriftarten der TU Dresden unter Mac OS
Language:Shell0 1 00
Xtreams-Parsing-PetitParser
Bridge from Xtreams-Parsing to PetitParser
Language:Smalltalk0 1 00

merkste's Repositories

merkste/prism
Development fork of the Prism model checker. Branches are subject to frequent rebasing.
Language:Java2 1 00
merkste/Signal-Android
A private messenger for Android.
Language:C2 1 00
merkste/pdf.js
PDF Reader in JavaScript
Language:JavaScript1 1 00
merkste/petitparser2
A high-performance top-down parser
Language:Smalltalk0 1 00
merkste/pharo-wiki
Wiki related to the Pharo programming language and environment.
0 0 00
merkste/Pharo2VW
Tooling to export Pharo code to VisualWorks
Language:Smalltalk0 2 00
merkste/SimpleCsvJava
Simple access to CSV files for Java
Language:Java0 1 10
merkste/SQList
A small Python-Library to query tables, e.g., read from CSV files, with SQL-like commands.
Language:Python0 1 11
merkste/tud-fonts
Installationsskript für die Schriftarten der TU Dresden unter Mac OS
Language:Shell0 1 00
merkste/Xtreams-Parsing-PetitParser
Bridge from Xtreams-Parsing to PetitParser
Language:Smalltalk0 1 00