Beast code in Giters

Evgeny Tarasov's starred repositories

Haskell 101 and 102: slides and codelabs

Language:HaskellApache-2.0138300

Compilation of public failure/horror stories related to Kubernetes

Language:HTML623200

The Z3 Theorem Prover

Language:C++NOASSERTION1020100

Run compilers interactively from your web browser and interact with the assembly

Language:TypeScriptBSD-2-Clause1615300

Haskell language tools for Python

Language:PythonNOASSERTION15700

The Haskell-Scriptable Editor

Language:HaskellGPL-2.0150800

What I Wish I Knew When Learning Haskell

Language:HaskellNOASSERTION256400

Compiler for Elm, a functional language for reliable webapps.

Language:HaskellBSD-3-Clause751900

ShellCheck, a static analysis tool for shell scripts

Language:HaskellGPL-3.03619900

A one page , two asymmetric column resume template in XeTeX that caters to an undergraduate Computer Science student

Language:TeXApache-2.0476700

NixOps is a tool for deploying to NixOS machines in a network or cloud.

Language:PythonLGPL-3.0182800

A library to work with Puppet manifests, test them and eventually replace everything ruby.

Language:HaskellBSD-3-Clause5100

A pure Haskell implementation of Datalog

Language:HaskellBSD-3-Clause10200