strangeloop / StrangeLoop2018
Strange Loop 2018 resources
☆50Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for StrangeLoop2018
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- A more elegant specification for FRP☆24Updated 10 months ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆47Updated 5 years ago
- ☆64Updated 8 years ago
- Slides for my talks at various meetups.☆21Updated 3 months ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆24Updated last year
- Slides & demos for talks I do☆60Updated 4 years ago
- Course material for lens☆21Updated 7 years ago
- PLT Redex models of LVar calculi☆10Updated 9 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- JVM implementation in Haskell☆44Updated 2 months ago
- ☆41Updated 10 years ago
- Jupyter notebooks☆58Updated 2 weeks ago
- Simple recipes for lazy programmers.☆35Updated 4 years ago
- covid-19 data in J☆16Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- Slides for CUFP 2017 keynote☆20Updated 7 years ago
- ☆23Updated 11 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Category theory for programmers lecture notes☆23Updated 6 years ago
- Edison: A Library of Efficient Data Structures☆55Updated 11 months ago
- A tutorial for using Emacs with Haskell projects☆43Updated 2 years ago
- Exercises designed specifically to demonstrate parametricity☆28Updated 10 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Papers We ❤️ Remote☆26Updated 7 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago