rudymatela

rudymatela's Stars

• jlevy/the-art-of-command-line

  Master the command line, in one page

  154k2.8k25314.6k

• vanhauser-thc/thc-hydra

  hydra

  Language:C9.8k3857622k

• tchapi/markdown-cheatsheet

  Markdown Cheatsheet for Github Readme.md

  5k79146.4k

• haskell/cabal

  Official upstream development repository for Cabal and cabal-install

  Language:Haskell1.6k715.9k697

• ndmitchell/hlint

  Haskell source code suggestions

  Language:Haskell1.5k32954195

• snowleopard/alga

  Algebraic graphs

  Language:Haskell7192211268

• UnkindPartition/tasty

  Modern and extensible testing framework for Haskell

  Language:Haskell64015251110

• SpamScope/mail-parser

  Tokenizer for raw mails

  Language:Python368118587

• nick8325/quickspec

  Equational laws for free

  Language:Haskell250144024

• naihe2010/apvlv

  Language:C++239106737

• barrucadu/dejafu

  Systematic concurrency testing meets Haskell.

  Language:Haskell1951124118

• aureliojargas/clitest

  Command Line Tester

  Language:Shell14481712

• judah/pier

  Yet another Haskell build system.

  Language:Haskell11510928

• archhaskell/habs

  Arch Haskell ABS tree

  Language:Shell80715328

• UoYCS-plasma/GP2

  The rule-based graph programming language GP 2

  Language:C66141611

• arminha/worldclockwidget

  A world clock and weather widget for Android

  Language:Java56157726

• Moffran/calibrated_explanations

  Repository for the explanation method Calibrated Explanations (CE)

  Language:Jupyter Notebook532217

• channable/hoff

  A gatekeeper for your commits

  Language:Haskell41111123

• OlafChitil/hat

  The Haskell tracer - generating and viewing Haskell execution traces

  Language:Haskell38686

• NorfairKing/easyspec

  Signature inference for Functional Property Discovery in Haskell

  Language:Haskell36812

• JonasDuregard/testing-feat

  FEAT

  Language:Haskell25639

• shapr/kudzu

  coverage driven random testing framework

  Language:Nix214102

• morphuslabs/setgatewaymac

  Language:Shell14406

• JonasDuregard/sized-functors

  Language:Haskell1012

• tensor5/haskell-happstack

  [haskell-happstack] repository for Arch Linux

  Language:Shell73143

• morphuslabs/sudocker

  become root by being on the docker group

  Language:Shell60

• barrucadu/coco

  The Concurrency Commentator; giving you cheap remarks about concurrent programs.

  Language:Haskell4412

• bensimner/speccer

  Property-based testing in Python

  Language:Python4200

• UoYCS-plasma/LazySmallCheck2012

  Lazy SmallCheck with functional values and existentials!

  Language:Haskell47112

• Taneb/acme-onecheck

  Very fast property testing library

  Language:Haskell2400