conal / talk-2014-bayhac-denotational-designView external linksLinks
Denotational Design: from programs to meanings
☆100Mar 5, 2016Updated 9 years ago
Alternatives and similar repositories for talk-2014-bayhac-denotational-design
Users that are interested in talk-2014-bayhac-denotational-design are comparing it to the libraries listed below
Sorting:
- Talk material for LambdaJam 2014/2015 on denotational design☆122Jan 8, 2024Updated 2 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27May 1, 2020Updated 5 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Experimental polykinds implementation☆15Aug 22, 2019Updated 6 years ago
- A Game of Life written in Purescript using Rx and React/canvas/console UIs.☆10Dec 9, 2016Updated 9 years ago
- Clojure inspired transducers implementation in JS☆12Mar 24, 2015Updated 10 years ago
- A simple Functional Reactive Programming library for Swift☆13Jun 10, 2016Updated 9 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- ☆16May 5, 2018Updated 7 years ago
- A keynote talk for LambdaJam 2015 (July 15--16)☆416Jan 8, 2024Updated 2 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 7 years ago
- it's a starcraft clone but with a dope typesystem☆51Apr 7, 2020Updated 5 years ago
- Alternative DOM driver utilizing the snabbdom library☆41Jun 4, 2016Updated 9 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- A reactive Cube to play with☆18Jan 25, 2015Updated 11 years ago
- Typed and composable spreadsheets☆186Sep 5, 2022Updated 3 years ago
- haskell lazy evaluation illustrated☆72May 3, 2017Updated 8 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Feb 11, 2026Updated last week
- A book about large-scale design in Haskell☆75Sep 23, 2014Updated 11 years ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- This repository moved to https://github.com/elm-community/graph☆16Feb 22, 2023Updated 2 years ago
- Experiments on the construction of functions☆29Nov 30, 2015Updated 10 years ago
- Use conduit to process/manipulate/convert audio☆18Jan 16, 2020Updated 6 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆63May 19, 2017Updated 8 years ago
- Type-Level Routing for PureScript☆41Jun 22, 2020Updated 5 years ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- Community edited and directed course based on Spring '13 cis194.☆47Mar 5, 2016Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 10 years ago
- Comparing many FRP implementations by reimplementing the same toy app in each.☆497Apr 2, 2022Updated 3 years ago
- Experiments with comonads for modelling React UIs☆91Jun 16, 2018Updated 7 years ago
- ☆17Jun 21, 2015Updated 10 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- Aff wrappers for purescript-node-fs☆21Aug 4, 2023Updated 2 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 7 years ago