strangeloop / StrangeLoop2018
Strange Loop 2018 resources
☆50Updated 5 years ago
Related projects: ⓘ
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- writing on haskell☆33Updated 7 years ago
- Strange Loop 2017☆77Updated 6 years ago
- ☆64Updated 7 years ago
- ☆23Updated 11 years ago
- A repo for my presentations.☆27Updated 6 years ago
- Course material for lens☆21Updated 7 years ago
- Papers We ❤️ Remote☆26Updated 7 years ago
- What Kai Thinks Every Developer Should Know About The Shell☆25Updated 7 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 4 years ago
- ☆41Updated 9 years ago
- Simple recipes for lazy programmers.☆35Updated 3 years ago
- Slides for my talks at various meetups.☆21Updated last month
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆47Updated 5 years ago
- A tutorial to the Idris Programming Language.☆95Updated 8 years ago
- A collection of interesting talks☆32Updated 7 years ago
- Jupyter notebooks☆57Updated 2 weeks ago
- A more elegant specification for FRP☆24Updated 8 months ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- ☆14Updated this week
- Strange Loop 2016☆45Updated 7 years ago
- ☆55Updated 7 years ago
- Materials and accompanying references for all things pwlconf related☆58Updated 4 years ago
- Useful resources for the Eta programming language☆61Updated 3 years ago
- So, you want to write a DSL interpreter...☆25Updated 5 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- interactive programming tutorials, powered by Github and Docker☆138Updated last month
- Finite state machines as graphs☆58Updated 4 years ago
- Category theory for programmers lecture notes☆23Updated 5 years ago