TikhonJelvis / talks
Slides for my talks at various meetups.
☆21Updated 8 months ago
Alternatives and similar repositories for talks:
Users that are interested in talks are comparing it to the libraries listed below
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 7 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- QuickCheck extras.☆29Updated 5 years ago
- an example airship app☆14Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- ☆40Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Edison: A Library of Efficient Data Structures☆55Updated this week
- The LVish Haskell library☆80Updated 2 years ago
- ☆41Updated 7 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Updated 9 years ago
- A plugin for GHC to turn Haskell into a strict language☆27Updated 12 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- ☆23Updated 7 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- ☆48Updated this week
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Official collection of YASnippet Haskell snippets for Emacs.☆13Updated 4 years ago