Beast code in Giters

Robert Estelle's repositories

actions-hlint-run

GitHub Action: Run hlint

Language:TypeScriptMIT6 2 3

actions-hlint-setup

GitHub Action: Set up hlint

Language:TypeScriptMIT2 2 4

A delightful community-driven (with 1,300+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellMIT1 30

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION030

agda-mode

agda-mode on Atom

Language:OCamlMIT020

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION030

asimov

Automatically exclude development dependencies from Apple Time Machine backups

Language:ShellMIT030

berry

📦🐈 Active development trunk for Yarn ⚒

Language:TypeScriptBSD-2-Clause010

buildkit

concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit

Language:GoApache-2.0020

cli

GitHub’s official command line tool

Language:GoMIT010

DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language:TypeScriptNOASSERTION010

diff-so-fancy

Good-lookin' diffs. Actually… nah… The best-lookin' diffs. :tada:

Language:PerlMIT010

editorconfig-vim

EditorConfig plugin for Vim

Language:Vim ScriptNOASSERTION010

fix-whitespace

Fixes whitespace issues

Language:Haskell020

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

Language:CNOASSERTION010