TikhonJelvis / talksLinks
Slides for my talks at various meetups.
☆22Updated last month
Alternatives and similar repositories for talks
Users that are interested in talks are comparing it to the libraries listed below
Sorting:
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated last month
- QuickCheck extras.☆29Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Simple recipes for lazy programmers.☆37Updated 5 years ago
- A repo for my presentations.☆28Updated 7 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- ☆40Updated 7 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 6 months ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- A tutorial for using Emacs with Haskell projects☆42Updated 3 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- The LVish Haskell library☆80Updated 3 years ago
- ☆10Updated 12 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 5 months ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- Parser and type analysis for the Go programming language☆12Updated 2 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Updated 9 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Dive into GHC☆82Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A plugin for GHC to turn Haskell into a strict language☆27Updated 13 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago