Denotational Design: from programs to meanings
☆101Mar 5, 2016Updated 10 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Talk material for LambdaJam 2014/2015 on denotational design☆121Jan 8, 2024Updated 2 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27May 1, 2020Updated 6 years ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- miniKanren for interactive tutorials on the web☆34Jun 3, 2025Updated last year
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 8 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 8 years ago
- Typed and composable spreadsheets☆186Sep 5, 2022Updated 4 years ago
- Experiments on the construction of functions☆29Nov 30, 2015Updated 10 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- Tutorial for essence-of-live-coding☆17Apr 12, 2023Updated 3 years ago
- This project has moved:☆14Apr 30, 2015Updated 11 years ago
- Source code accompanying the paper "Leveling Up Dependent Types"☆18Jul 23, 2013Updated 13 years ago
- A talk on parametricity☆36Jul 18, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A hip inductive theorem prover!☆92Nov 19, 2021Updated 4 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- NanoML is a simple eager functional programming language based on MiniML (http://www.andrej.com/plzoo/html/miniml.html)☆13Feb 24, 2012Updated 14 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- ☆50Oct 1, 2015Updated 11 years ago
- ☆23Aug 30, 2017Updated 9 years ago
- ☆14Jul 21, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 7 years ago
- My favorite quotes☆17Oct 12, 2025Updated last year
- ☆91Nov 13, 2015Updated 10 years ago
- ☆28Jun 3, 2018Updated 8 years ago
- Sample code for FP Days 2014 talk☆13Nov 20, 2014Updated 11 years ago
- A keynote talk for LambdaJam 2015 (July 15--16)☆416Jan 8, 2024Updated 2 years ago
- it's a starcraft clone but with a dope typesystem☆51Apr 7, 2020Updated 6 years ago
- Alice ML implementation☆16Nov 25, 2022Updated 3 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- (Actually) flexible law checking for Scala☆15Dec 22, 2016Updated 9 years ago
- A demo for Automatic Annotation inference for Typed Clojure☆22Sep 1, 2016Updated 10 years ago
- Pure string:val storage, using structural sharing☆19Jan 8, 2014Updated 12 years ago
- Total functional programming (ESFP) literature☆191Feb 15, 2019Updated 7 years ago
- An implementation of Pie in Haskell☆215Nov 8, 2019Updated 6 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Clojure inspired transducers implementation in JS☆12Mar 24, 2015Updated 11 years ago