NLaranjo

NLaranjo's Stars

• cloudera-labs/envelope

  Build configuration-driven ETL pipelines on Apache Spark

  Language:Java15889

• MfesGA/Smtlib

  Parser for smt-lib Command responses

  Language:Haskell26

• MfesGA/Hsmtlib

  Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

  Language:Haskell45