aztek/hipspec
The inductive theorem prover for Haskell
Developer Profile
aztek
Discovered public repositories for aztek in the GitHub catalog.
aztek/Solver.agda
A collection of simple verified SAT-solvers
aztek/master-thesis
Текст дипломной работы
aztek/untypedmacros-bug
Public repository.
aztek/typechecking-bug
Public repository.
aztek/scala-workflow
Boilerplate-free syntax for computations with effects
aztek/scala
The Scala programming language
aztek/porterstemmer
An implementation of the Porter stemming algorithm in Scala
aztek/db.js
Lightweight document-oriented database in your browser
aztek/syngen
Concrete syntax generator
aztek/random
Some programming miscellany
aztek/yaclusterer
Clusterer for Yandex.Maps