anlun/parserCombinators

Stars
2
Language
Kotlin
Created almost 9 years ago
Updated over 7 years ago

anlun/parserCombinators

anlun

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

The parser combinator library written in Kotlin.

OperationalSemanticsC11

An operational semantics for C11.

compiler-tests

Tests for a compiler course assignment.

compiler-example

An example of a repo for a compiler course.

opencypher-coq

A Coq formalizaton of "Formalizing openCypher Graph Queries in Relational Algebra" [Marton-al:ADBIS17]

olympIS

Репозиторий проекта по практике "Администрирование информационных систем".

pretty_printer_kotlin

polynomialPPCombinators

Polynomial-time optimal pretty-printing combinators with choice