Skip to content
View etarasov's full-sized avatar

Organizations

@EchoTeam

Block or report etarasov

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Haskell 101 and 102: slides and codelabs

Haskell 1,399 109 Updated Apr 10, 2023

Compilation of public failure/horror stories related to Kubernetes

HTML 6,231 309 Updated Aug 23, 2020

The Z3 Theorem Prover

C++ 10,575 1,490 Updated Jan 21, 2025

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

TypeScript 16,880 1,800 Updated Jan 19, 2025

Haskell language tools for Python

Python 157 16 Updated Mar 23, 2020

The Haskell-Scriptable Editor

Haskell 1,515 203 Updated Nov 1, 2024

What I Wish I Knew When Learning Haskell

Haskell 2,583 242 Updated Feb 25, 2022

Compiler for Elm, a functional language for reliable webapps.

Haskell 7,598 662 Updated Jul 17, 2024

ShellCheck, a static analysis tool for shell scripts

Haskell 36,798 1,791 Updated Dec 14, 2024

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

TeX 4,819 1,263 Updated Sep 18, 2022

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

Python 1,888 362 Updated Apr 10, 2024

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

Haskell 51 8 Updated Nov 7, 2023

A pure Haskell implementation of Datalog

Haskell 104 14 Updated Aug 18, 2020
Showing results