Discover @aztek Open Source projects

Evgenii Kotelnikov (@aztek)

aztek

Stars
465
Global Rank 61,591 (Top 3 %)
Followers 54
Following 34
Registered about 16 years ago
Most used languages

Haskell
40.0 %

Scala
20.0 %

JavaScript
20.0 %

Agda 10.0 %

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

Agda 15

Scala
21

Erlang
52

Haskell
61

JavaScript
3,416

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

master-thesis

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

voogie

A verification conditions generator for Boogie programs

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