lettier / lettier.github.io
☆21Updated 6 years ago
Alternatives and similar repositories for lettier.github.io:
Users that are interested in lettier.github.io are comparing it to the libraries listed below
- A course-worth of notes☆199Updated 6 months ago
- A graph of programming languages connected through compilers.☆175Updated last year
- Improve your shell by making it functional through Haskell! (An update to Awkward)☆291Updated 2 years ago
- Why Types Matter☆45Updated 7 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆114Updated 9 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- An infinite runner in your terminal☆104Updated 4 years ago
- Big O Reference of common algorithms and data structures☆50Updated 5 years ago
- A demo web browser engine written in Haskell☆281Updated 5 years ago
- Project Management for Hackers☆133Updated 6 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆44Updated 4 years ago
- Chaotic Life☆45Updated 7 years ago
- Haskelly is a VS Code extension that provides complete support for casual and expert Haskell development.☆152Updated last year
- Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over☆80Updated 4 years ago
- Environment and problem sets for Haskell For Beginners class☆24Updated 8 years ago
- My notes and solutions to exercises for the book "Haskell Programming from first principles".☆95Updated 3 years ago
- Slides from talks that I give☆294Updated last year
- - The Haskell code editor focused on interactive development.☆352Updated 6 years ago
- What Kai Thinks Every Developer Should Know About The Shell☆25Updated 7 years ago
- A CLI in haskell to quickly move through the filesystem☆109Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- 😫 JSConf EU 2017: Maintaining an OSS Project (Babel)☆27Updated 7 years ago
- Intuitive math descriptions and animations (like 3b1b)☆94Updated 2 years ago
- ☆41Updated 7 years ago
- Algebraic type based schema system☆129Updated 4 years ago