Pinned Repositories
aeson
A fast Haskell JSON library
assoc
swap and assoc: Symmetric and Semigroupy Bifunctors
async
Run IO operations asynchronously and wait for their results
attoparsec
A fast Haskell library for parsing ByteStrings
bazel-gazelle
Gazelle is a Bazel build file generator for Bazel projects. It natively supports Go and protobuf, and it may be extended to support new languages and custom rule sets.
cab
A maintenance command of Haskell cabal packages
hie-issues
Packages to reproduce haskell-ide-engine failures
package-loader
A split from the plugins package just for linking packages.
stitch-lh
testrepo
Just a test
facundominguez's Repositories
facundominguez/stitch-lh
facundominguez/bazel-gazelle
Gazelle is a Bazel build file generator for Bazel projects. It natively supports Go and protobuf, and it may be extended to support new languages and custom rule sets.
facundominguez/cabal
Official upstream development repository for Cabal and cabal-install
facundominguez/colonnade
Generic types and functions for encoding and decoding columns
facundominguez/docs.scala-lang
The Scala Documentation website
facundominguez/FrameworkBenchmarks
Source for the TechEmpower Framework Benchmarks project
facundominguez/ghc-timings-report
Experimental tool to build reports on GHC build time for your projects.
facundominguez/haskell-nix-config-test
A configuration test for haskell.nix
facundominguez/language-java
Java parser and printer for haskell
facundominguez/lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
facundominguez/lh-plugin-demo-client
Client package that shows how to import LH specifications from an external package
facundominguez/liquid-base
Drop-in replacement for the base library, to use with Liquid Haskell
facundominguez/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
facundominguez/liquidhaskell
Liquid Types For Haskell
facundominguez/liquidhaskell-tutorial
Tutorial for LiquidHaskell
facundominguez/liquidmeta
facundominguez/orville
Yet another ORM for haskell
facundominguez/ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
facundominguez/plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
facundominguez/quickjs
Fork of QuickJS Javascript Engine used in NEAR JS SDK
facundominguez/rest
A library for rewriting
facundominguez/safe-coupling
Verification of SGD
facundominguez/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
facundominguez/split
Standard Haskell list splitting library.
facundominguez/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
facundominguez/store
Fast binary serialization in Haskell
facundominguez/summer-of-haskell
Source code of summer.haskell.org
facundominguez/tasty
A Haskell test framework
facundominguez/tasty-discover
facundominguez/z3
The Z3 Theorem Prover