Discover @anlun Open Source projects

Anton Podkopaev (@anlun)

anlun

Stars
18
Global Rank 673,212 (Top 24 %)
Followers 45
Following 7
Registered over 13 years ago
Most used languages

Kotlin
25.0 %

Coq 12.5 %

Makefile 12.5 %

Java
12.5 %

OCaml
12.5 %

Haskell
12.5 %

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

Racket
3

Coq 13

OCaml
23

Makefile 130

Haskell
252

Kotlin
362

Java
3,625

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.

olympIS

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

opencypher-coq

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

pretty_printer_kotlin

polynomialPPCombinators

Polynomial-time optimal pretty-printing combinators with choice