shenkok

shenkok's Stars

• JakeWheat/intro_to_parsing

  Introduction to parsing with Haskell and Parsec

  Language:Haskell50235

• peddie/smt-solving

  BFPG talk on SMT solving in Haskell

  Language:Haskell62

• LeventErkok/sbv

  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

  Language:Haskell24234

• jwiegley/z3cat

  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations

  Language:Haskell383

• ferhaterata/vc-gen

  Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language

  Language:C++2

• TikhonJelvis/imp

  Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.

  Language:Haskell171

• emmt1998/ML-para-Negocios

  Repositorio de los workshops de Machine Learning para Negocios

  Language:Jupyter Notebook149

• dccuchile/CC5205

  Introducción a la Minería de Datos

  Language:Shell20757

• vincenzobaz/Computer-Networks-Notes

  Notes based on the book "Computer Networking, a top down approach"

  342165