facundominguez

facundominguez's Stars

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k281.1k135

• ucsd-progsys/liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  Language:Haskell1341215360

• tweag/guides

  Designing, programming and deploying, in style.

  617433

• tweag/pirouette

  Language-generic workbench for building static analysis

  Language:Haskell4718542

• tweag/cooked-validators

  Language:Haskell391312611

• kazu-yamamoto/cab

  A maintenance command of Haskell cabal packages

  Language:Haskell365219

• CCI/cci

  Language:C2524168

• tweag/smtlib-backends

  A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.

  Language:Haskell177171

• tweag/timestats

  A library to profile time in a Haskell program

  Language:Haskell172121

• tweag/gazelle_cabal

  A gazelle extension to produce Haskell rules from cabal files

  Language:Haskell1319295

• facundominguez/stitch-lh

  Language:Haskell8513

• tweag/run-nix-shell

  GitHub action for executing scripts via nix-shell.

  Language:Shell32721

• facundominguez/cab

  A maintenance command of Haskell cabal packages

  Language:Haskell1300

• facundominguez/testrepo

  Just a test

  1300