conal / talk-2018-deep-learning-rebootedLinks
"A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
☆52Updated 5 years ago
Alternatives and similar repositories for talk-2018-deep-learning-rebooted
Users that are interested in talk-2018-deep-learning-rebooted are comparing it to the libraries listed below
Sorting:
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 6 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Jupyter notebooks☆58Updated 6 months ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- State machines in Idris☆37Updated 8 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Haskell library containing common graph search algorithms☆52Updated 6 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- ☆40Updated 6 years ago
- Example row-polymorphism implementations☆61Updated last year
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago