Discover @anlun Open Source projects

Anton Podkopaev (@anlun)

anlun

Stars
18
Global Rank 684,145 (Top 24 %)
Followers 47
Following 8
Registered over 13 years ago
Most used languages

Kotlin
25.0 %

Java
12.5 %

Makefile 12.5 %

Haskell
12.5 %

OCaml
12.5 %

Coq 12.5 %

Racket
12.5 %
Location 🇳🇱 Netherlands
Country Total Rank 9,047
Country Ranking

Racket
3

Coq 12

OCaml
19

Makefile 115

Haskell
276

Kotlin
371

Java
3,719

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.

parserCombinators

The parser combinator library written in Kotlin.

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