TikhonJelvis / talks
Slides for my talks at various meetups.
☆21Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for talks
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 4 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- ☆23Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- QuickCheck extras.☆29Updated 5 years ago
- ☆45Updated this week
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- an example airship app☆14Updated 8 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 4 years ago
- A repo for my presentations.☆27Updated 6 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 8 years ago
- Parser and type analysis for the Go programming language☆12Updated last year
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- A database and web app to keep track of all my books☆26Updated this week
- Programming with LVars, by example☆35Updated 9 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- ☆22Updated 5 years ago
- ☆41Updated 7 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆18Updated 7 years ago
- Try Idris☆36Updated 9 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆14Updated 9 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Updated 5 years ago
- Snap integration for the websockets library☆33Updated 7 months ago