Discover @aztek Open Source projects

Evgenii Kotelnikov (@aztek)

aztek

Stars
465
Global Rank 59,606 (Top 3 %)
Followers 54
Following 34
Registered over 15 years ago
Most used languages

Haskell
40.0 %

JavaScript
20.0 %

Scala
20.0 %

Agda 10.0 %

Erlang
10.0 %
Location 🇳🇱 Netherlands
Country Total Rank 1,153
Country Ranking

Agda 14

Scala
21

Erlang
51

Haskell
62

JavaScript
3,473

awesome-self-reference

A curated list of examples of self-reference in art, science, and technology

scala-workflow

Boilerplate-free syntax for computations with effects

porterstemmer

An implementation of the Porter stemming algorithm in Scala

atp

Haskell interface to automated theorem provers

tptp

Parser and pretty printer for the TPTP language

voogie

A verification conditions generator for Boogie programs

master-thesis

Текст дипломной работы

yaclusterer

Clusterer for Yandex.Maps

Solver.agda

A collection of simple verified SAT-solvers

tptp2smt

A translator from TPTP to SMT-LIB

db.js

Lightweight document-oriented database in your browser

atomizer

⚛︎ Find misplaced atoms in Erlang code