Slides, code, and other material for presentations I have given or plan to give or imagine myself giving.
☆25Jun 4, 2018Updated 7 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 7 years ago
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 7 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 8 years ago
- multi user OSC control panel server☆23Jun 21, 2023Updated 2 years ago
- 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.
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- Arrowized functional state machines☆18Jul 24, 2016Updated 9 years ago
- Example how to link Haskell programs very quickly with lld☆48Apr 13, 2017Updated 8 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Oct 29, 2023Updated 2 years ago
- Adds gzip support to brunch☆14Apr 15, 2023Updated 2 years ago
- Author: whatifif: Project template for mithril, with JWT auth, themed bootstrap & easy animations. Blog and User administration are inclu…☆12Feb 12, 2016Updated 10 years ago
- A client-side relational modeling framework. Like a blend of ActiveRecord and Backbone, but different and better.☆37Mar 27, 2013Updated 13 years ago
- Roots v3 extension that precompiles templates for the client side☆15Jul 12, 2015Updated 10 years ago
- Situation Awareness for Novel Epidemic Response (COVID-19 driven project to track resource availability)☆11Mar 8, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- DSL, parser and code-generator for Algebraic Data Types (Record and Union types) in C#☆58Jul 24, 2024Updated last year
- ☆12Jul 8, 2021Updated 4 years ago
- Create an ERD for a database given as JSON-table-schema☆11Feb 8, 2016Updated 10 years ago
- Turn callback-style functions or promises into futures☆145May 24, 2017Updated 8 years ago
- Working group for ongoing development and iteration of the Singer Spec, the de-facto protocol for open source data connectors. Please use…☆15Mar 15, 2025Updated last year
- An ASCII-art based data flow management system☆18Dec 11, 2017Updated 8 years ago
- Get files from ckan into the webstore.☆22Jan 6, 2022Updated 4 years ago
- a dataset index☆23Feb 19, 2014Updated 12 years ago
- Funded under ONC’s 2018 Leading Edge Acceleration Projects in Health IT program, MedstarHealth Research Institute developed the Mobilizin…☆13Jun 8, 2021Updated 4 years ago
- 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.
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- ☆13Jun 15, 2023Updated 2 years ago
- ☆19Dec 20, 2016Updated 9 years ago
- ☆10Jul 11, 2021Updated 4 years ago
- HTTP JWT Bearer authentication strategy for Passport.☆13Oct 20, 2023Updated 2 years ago
- an example airship app☆14Jul 14, 2016Updated 9 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 9 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- 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.
- Instant OpenHIE - see docs here:☆18Oct 31, 2023Updated 2 years ago
- A streaming real-time event processor based on Riemann written in Node.js -- Streams2/3 edition☆19Nov 29, 2016Updated 9 years ago
- The Haskell Refactoring Tool☆138Dec 4, 2019Updated 6 years ago
- PageRank applied to the GitHub users/follows graph☆29Jan 4, 2010Updated 16 years ago
- Manage an inventory? Rent out equipment? Need to track who comes in and out of a building? Manage when a record is "out" and "in" with ea…☆15Feb 13, 2022Updated 4 years ago
- Bankjob fetches financial data from your bank or other financial institution. For a more generalized interface into many more institution…☆18Nov 7, 2008Updated 17 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 10 years ago