sanssecours/Computer-Aided-Verification

Stars
1
Language
TeX
Created over 11 years ago
Updated over 9 years ago

sanssecours/Computer-Aided-Verification

sanssecours

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Solutions for the exercises of the course “Computer Aided Verification”

EBNF.tmbundle

📓 TextMate syntax highlighting for Extended Backus–Naur Form

Yan-LR

🐪 A very basic YAML parser that uses ANTLR

ABNF.tmbundle

📝 TextMate Support for the Augmented Backus–Naur Form

Rainbow-Dash.tmbundle

🦄 A Bright and Colorful Syntax Highlighting Theme for TextMate

Algorithmen-Und-Datenstrukturen

📔 Hilfsunterlagen für die Lehrveranstaltung Algorithmen und Datenstrukturen

Special-Characters.tmbundle

🌸 Easily Insert Special Characters in TextMate

Games

List of multiplayer games for macOS (Linux and Windows)

FireWorksJMS

Simulate a fireworks factory using JMS

Plenv-Example

Natural-Docs.tmbundle

Very basic TextMate support for NaturalDocs

homebrew-yaep

Homebrew Formula for the Earley Parser YAEP

TrackChanges.tmbundle

Support for the TrackChanges LaTeX Package.

YAwn

A very basic parser that uses YAEP to convert YAML data to an Elektra key set

YAMBi

🦌 A very basic parser that uses Bison to convert YAML data to an Elektra key set

YAy-PEG

A very basic parser that uses PEGTL to convert YAML data to an Elektra key set

FireWorks

Exercise project for the course “Space Based Computing”

Programmkonstruktion

☕️ Hilfsunterlagen für die Lehrveranstaltung Programmkonstruktion

Style-Check.tmbundle

TextMate support for Check Style

Cram.tmbundle

📋 TextMate Support for the Cram Testing Framework