Pinned Repositories
codex
Web app for programming exercises
codex-quickcheck
QuickCheck customizations for the Codex learning environment
elm-asteroids
A simple Asteroids video game written in Elm
gitprimer
Slides de apresentação sobre Git
gloss-asteroids
A simple Asteroids game using the Gloss library
haskelite
Re-implementation of a minimal interpreter for a subset of Haskell
lazy-amortised-analysis
Prototype implementation of the amortised cost analysis for lazy evaluation
rust-taste
Apresentação para NUCC sobre Rust
tapf-parsing
A simple monadic parser combinator library.
tapf-tictactoe
Tic-Tac-Toe game in Haskell with AI
pbv's Repositories
pbv/haskelite
Re-implementation of a minimal interpreter for a subset of Haskell
pbv/codex
Web app for programming exercises
pbv/gitprimer
Slides de apresentação sobre Git
pbv/tapf-tictactoe
Tic-Tac-Toe game in Haskell with AI
pbv/codex-quickcheck
QuickCheck customizations for the Codex learning environment
pbv/gloss-asteroids
A simple Asteroids game using the Gloss library
pbv/lazy-amortised-analysis
Prototype implementation of the amortised cost analysis for lazy evaluation
pbv/rust-taste
Apresentação para NUCC sobre Rust
pbv/tapf-parsing
A simple monadic parser combinator library.
pbv/lambda-pmc
Lazy abstract machine based on the pattern-matching calculus
pbv/cc1005-life-game
Simple implementation of the Game of Life in Haskell
pbv/cc1005-quickcheck
Testing simple equational properties using QuickCheck
pbv/cc4023-il
Sample code for language implementation classes
pbv/codex-examples
Example respository of exercises for the Codex system
pbv/gloss-breakout
Simple Breakout game in Haskell using the Gloss library
pbv/gloss-demo
A simple animation using Haskell and Gloss
pbv/lambda-lessions
Interactive evaluator for teaching fundamentals of FP
pbv/minicheck
A minimal implementation of a property-based testing library
pbv/snap-auth-cli
Command-line tool to manage Snap AuthManager database
pbv/state-machine-example
pbv/tapf-classes
Implementing Haskell's typeclasses using dictionary translation
pbv/tapf-datastructures
Examples for TAPF course
pbv/tapf-demo
Case study: convert an expression to a string
pbv/tapf-json
A simple Json parser built using Parsec
pbv/tapf-minischeme
An interpreter for minimal Scheme-like language
pbv/tapf-monad-examples
Examples for programming with monads in Haskell
pbv/tapf-regexp
A simple regular expression matcher using continuations
pbv/tapf-turtle
A simple monadic DSEL for Turtle graphics in Haskell
pbv/why-pbt-matters
Talk about property-based testing
pbv/xmlhtml
XML parser and renderer with HTML 5 quirks mode