Slides, code, and other material for presentations I have given or plan to give or imagine myself giving.
☆25Jun 4, 2018Updated 8 years ago
Alternatives and similar repositories for presentations
Users that are interested in presentations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39May 21, 2018Updated 8 years ago
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 8 years ago
- Elm library for simple bar and pie charts☆16Jan 29, 2017Updated 9 years ago
- An experimental attempt to bring the PureScript ecosystem to npm☆19Jun 1, 2017Updated 9 years ago
- Coding experiments using ES.next features☆12Mar 31, 2012Updated 14 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.
- multi user OSC control panel server☆23Jun 21, 2023Updated 2 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 8 years ago
- monokai colors on bright background 💖☆13Jun 14, 2019Updated 7 years ago
- ☆21Aug 25, 2017Updated 8 years ago
- My JS Compiler☆16Dec 2, 2017Updated 8 years ago
- Simple SQL string escape.☆13Mar 26, 2020Updated 6 years ago
- Example how to link Haskell programs very quickly with lld☆48Apr 13, 2017Updated 9 years ago
- A simple PostCSS plugin to convert vmin to vm for IE9.☆13May 11, 2017Updated 9 years ago
- A logic programming library for F#☆46Apr 4, 2015Updated 11 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.
- Collaborative music in Elixir, Elm, and WebAudio☆34Jul 7, 2019Updated 6 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 6 years ago
- A JavaScript library built to encourage a functional programming style & strategy. - http://eliperelman.com/fn.js☆15Jan 13, 2016Updated 10 years ago
- A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.☆182May 27, 2017Updated 9 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆34May 31, 2026Updated 2 weeks ago
- ☆27Oct 15, 2019Updated 6 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- DSL, parser and code-generator for Algebraic Data Types (Record and Union types) in C#☆58Jul 24, 2024Updated last year
- Turn callback-style functions or promises into futures☆145May 24, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple react form generator using functional programming concepts☆17Apr 15, 2026Updated 2 months ago
- An F# code library for pure functional programming... and much more!☆78May 23, 2026Updated 3 weeks ago
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 10 years ago
- ☆19Dec 20, 2016Updated 9 years ago
- A collection of well known Algebraic Data Types for your utter enjoyment.☆1,599Jan 6, 2023Updated 3 years ago
- an example airship app☆14Jul 14, 2016Updated 9 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆61May 9, 2016Updated 10 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 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.
- The Haskell Refactoring Tool☆138Dec 4, 2019Updated 6 years ago
- Overloaded Record Fields implementation based on GHC prototypes.☆14Mar 6, 2017Updated 9 years ago
- A Turtle script I use to kick off attic☆11Feb 23, 2017Updated 9 years ago
- purescript-react wrappers for map gl☆12Mar 8, 2023Updated 3 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- LimeSDR-Mini board FPGA project☆14Jan 30, 2019Updated 7 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago