Talk material for LambdaJam 2014/2015 on denotational design
☆121Jan 8, 2024Updated 2 years ago
Alternatives and similar repositories for talk-2014-lambdajam-denotational-design
Users that are interested in talk-2014-lambdajam-denotational-design are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Denotational Design: from programs to meanings☆101Mar 5, 2016Updated 10 years ago
- A more elegant specification for FRP☆24Jan 8, 2024Updated 2 years ago
- Sample code for FP Days 2014 talk☆13Nov 20, 2014Updated 11 years ago
- My favorite quotes☆17Oct 12, 2025Updated last year
- A keynote talk for LambdaJam 2015 (July 15--16)☆416Jan 8, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 3 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 8 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 7 months ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 6 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 7 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- Nix Workshop Tutorials☆51Jun 18, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- Compiling to Categories☆462Feb 28, 2024Updated 2 years ago
- The official supporting materials repository for LambdaConf 2015.☆90May 29, 2015Updated 11 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 4 years ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 4 years ago
- Slides and exercises for the Idris course taught at Galois☆51Oct 7, 2015Updated 11 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆80Aug 25, 2015Updated 11 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 7 years ago
- higher-order, no-boilerplate monads☆1,075Oct 10, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Elm arch guide in OpticUI☆13Dec 3, 2015Updated 10 years ago
- ☆28Jun 3, 2018Updated 8 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15May 12, 2025Updated last year
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 11 years ago
- Parser combinator library for Elm☆37Nov 29, 2016Updated 9 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆109Feb 20, 2019Updated 7 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 8 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27May 1, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Write your GDB scripts in Haskell!☆27Dec 13, 2021Updated 4 years ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated 9 months ago
- DEPRECATED: Haskell Library to deal with resource availability in a Calendar☆24Jul 14, 2023Updated 3 years ago
- Provably total, tail-call optimized monadic recursion in Idris2☆15Nov 14, 2023Updated 2 years ago
- String interpolation for Haskell done right!☆32Jun 5, 2020Updated 6 years ago
- Community edited and directed course based on Spring '13 cis194.☆47Mar 5, 2016Updated 10 years ago
- Slides & source code of various talks given☆19Oct 2, 2014Updated 12 years ago