spidermoy

Computer Scientist. λ-calculus lover. Haskell Lover.

Universidad Nacional Autónoma de México

Pinned Repositories

LTL_Coq
Linear Temporal Logic formalized in Coq
Language:Coq1 0 02
mandelbrot-generator-haskell
Simple fractal generator
Language:Haskell00
Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
Language:Haskell5 1 00
MonadicParsing
Functional Perls: Monadic Parsing in Haskell [Implementation]
Language:Haskell0 1 00
Monads_KleisliTriples_Proof
Computer Scientist Degree - Thesis Work
Language:Coq1 1 00
OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
Language:Haskell5 1 00
S3_multipart_upload
Multipart upload of a file to Amazon S3 with Haskell
Language:Haskell3 0 00
tree_sort_verificated
A formal specification and verification of Tree Sort algorithm in Coq
Language:Coq0 0 00

spidermoy/Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
Language:Haskell5 1 00
spidermoy/OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
Language:Haskell5 1 00
spidermoy/S3_multipart_upload
Multipart upload of a file to Amazon S3 with Haskell
Language:Haskell3 0 00
spidermoy/LTL_Coq
Linear Temporal Logic formalized in Coq
Language:Coq1 0 02
spidermoy/Monads_KleisliTriples_Proof
Computer Scientist Degree - Thesis Work
Language:Coq1 1 00
spidermoy/mandelbrot-generator-haskell
Simple fractal generator
Language:Haskell00
spidermoy/MonadicParsing
Functional Perls: Monadic Parsing in Haskell [Implementation]
Language:Haskell0 1 00
spidermoy/tree_sort_verificated
A formal specification and verification of Tree Sort algorithm in Coq
Language:Coq0 0 00