TikhonJelvis / talks
Slides for my talks at various meetups.
☆21Updated 7 months ago
Alternatives and similar repositories for talks:
Users that are interested in talks are comparing it to the libraries listed below
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- an example airship app☆14Updated 8 years ago
- QuickCheck extras.☆29Updated 5 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 9 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- ☆23Updated 7 years ago
- ☆15Updated 8 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- Edison: A Library of Efficient Data Structures☆55Updated last month
- Jupyter notebooks☆58Updated 3 months ago
- ☆23Updated 7 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- ☆41Updated 7 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Updated 5 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- A repo for my presentations.☆28Updated 7 years ago
- Spacemacs Layer for LiquidHaskell☆13Updated 7 years ago
- ☆40Updated 6 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Dive into GHC☆82Updated 8 years ago
- A tutorial for using Emacs with Haskell projects☆43Updated 3 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 7 years ago