etarasov

etarasov's Stars

• koalaman/shellcheck

  ShellCheck, a static analysis tool for shell scripts

  Language:Haskell36.3k4142.7k1.8k

• compiler-explorer/compiler-explorer

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

  Language:TypeScript16.4k2513.3k1.7k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1815.5k1.5k

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.5k2021.7k664

• hjacobs/kubernetes-failure-stories

  Compilation of public failure/horror stories related to Kubernetes

  Language:HTML6.2k46822309

• deedy/Deedy-Resume

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

  Language:TeX4.8k89381.3k

• sdiehl/wiwinwlh

  What I Wish I Knew When Learning Haskell

  Language:Haskell2.6k930243

• NixOS/nixops

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

  Language:Python1.8k57856365

• yi-editor/yi

  The Haskell-Scriptable Editor

  Language:Haskell1.5k59787203

• google/haskell-trainings

  Haskell 101 and 102: slides and codelabs

  Language:Haskell1.4k6210109

• qfpl/hpython

  Haskell language tools for Python

  Language:Python15785116

• travitch/datalog

  A pure Haskell implementation of Datalog

  Language:Haskell10214913

• bartavelle/language-puppet

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

  Language:Haskell5182348