effectfully

effectfully's Stars

• swarm-game/swarm

  Resource gathering + programming game

  Language:Haskell8001567550

• neoascetic/rawgithack

  Serves files from github, bitbucket and gitlab, but with the correct content types

  Language:Java563155786

• stedolan/counterexamples

  Counterexamples in Type Systems

  Language:JavaScript353161023

• haskell-hint/hint

  Runtime Haskell interpreter

  Language:Haskell257710241

• barrucadu/dejafu

  Systematic concurrency testing meets Haskell.

  Language:Haskell1911124018

• agda/agda2hs

  Compiling Agda code to readable Haskell

  Language:Agda1731915731

• codedownio/time-ghc-modules

  Analyze GHC .dump-timings files

  Language:HTML100573

• Bodigrim/linear-builder

  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

  Language:Haskell88894

• ocharles/what-it-do

  Automatically trace all (showable) binds in do expressions

  Language:Haskell84404

• redguardtoo/vc-msg

  Show commit message of current line in Emacs

  Language:Emacs Lisp75583

• jrosdahl/fancy-dabbrev

  Emacs dabbrev-expand with preview and popup menu

  Language:Emacs Lisp613134

• gallais/potpourri

  Where my everyday research happens

  Language:Agda531104

• well-typed/plutonomy

  An optimizer for untyped plutus core

  Language:Haskell4112010

• coot/ghc-tags-plugin

  Generate tags file for haskell modules (GHC)

  Language:Haskell404141

• AndrasKovacs/sett

  Setoid type theory implementation

  Language:Haskell38112

• JonathanLorimer/core-warn

  Provide warnings for unexpected Core generation

  Language:Haskell29320

• Bodigrim/tasty-bench-fit

  Benchmark a given function for variable input sizes and find out its time complexity

  Language:Haskell25422

• serokell/hackage-search

  An application that lets you search for anything on Hackage

  Language:Haskell24510

• flupe/generics

  Language:Agda21366

• nomeata/tasty-expected-failure

  Mark test cases as expected-failure

  Language:Haskell215129

• mchakravarty/hoas-conv

  Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)

  Language:Haskell20412

• OpShin/plutus-bench

  A unified framework for Cardano Smart Contract testing and benchmarking m

  Language:Python19343

• monadfix/safe-wild-cards

  Tame RecordWildCards

  Language:Haskell12312

• sergv/vector-quicksort

  Haskell sort as fast as C++

  Language:Haskell12222

• xc-jp/safe-gen

  Recursive Arbitrary instances without headaches

  Language:Haskell11200

• goosedb/typist

  Language:Haskell7100

• lyokha/ghc-stdin

  A frontend plugin for GHC to compile source code from the standard input

  Language:Haskell60

• agda/hs-tags

  Generate ctags and etags for Haskell files

  Language:Haskell5661

• aadaa-fgtaa/optionally

  Language:Haskell4100

• manupadillaph/plutus-equality-values-testsuite

  Language:Haskell20