Material for ICFP 2020 tutorial on functional software architecture
☆17Sep 4, 2020Updated 5 years ago
Alternatives and similar repositories for icfp2020
Users that are interested in icfp2020 are comparing it to the libraries listed below
Sorting:
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated this week
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- ☆34Apr 19, 2020Updated 5 years ago
- Add GreenSock animations to your components!☆12Mar 20, 2025Updated 11 months ago
- The InvGears workbench for FreeCAD allows the creation of gear systems☆10Apr 25, 2025Updated 10 months ago
- ☆12Mar 13, 2025Updated 11 months ago
- Method of sizing on-prem Oracle databases in Azure according to actual usage information from Oracle AWR☆10Oct 17, 2025Updated 4 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- USB Hid handler for nodejs☆11Sep 30, 2022Updated 3 years ago
- Azure Cosmos samples to leverage Bulk capabilities for Graph API accounts☆12Jul 26, 2022Updated 3 years ago
- My emacs configuration☆10Nov 14, 2025Updated 3 months ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- The Modern Web App Pattern is a set of objectives to help you apply an iterative change to modernize a cloud deployed monolith. This cont…☆18Oct 28, 2025Updated 4 months ago
- Code samples for "A Student's Guide to Python for Physical Modeling"☆16Jul 19, 2021Updated 4 years ago
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆19Jan 22, 2024Updated 2 years ago
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- Using Cypress with Vite, React, TypeScript, MSW and react-query☆12Jan 18, 2022Updated 4 years ago
- Haskell Enforcer of user specified code standards☆22Feb 10, 2026Updated 3 weeks ago
- Utilities for working with RDF/Linked Data in JavaScript / TypeScript☆10Sep 12, 2022Updated 3 years ago
- Mechanized baselines for various type system features☆18Feb 25, 2026Updated last week
- React hook to make promises cancelable and safe☆10Jan 5, 2023Updated 3 years ago
- Reliably determines if the code is running in Node.js. Treats Jest, React Native, Electron, and others like Node.js.☆12Mar 23, 2023Updated 2 years ago
- Emulation of Mackie control using Max4Live☆11Mar 12, 2020Updated 5 years ago
- For "Functional legacy - how to incorporate ZIO in your legacy services" talk☆10Dec 2, 2020Updated 5 years ago
- Clojurescript template for making Reagent applications with Org-mode (includes figwheel, cider, devcards, doo garden, secretary)☆62May 12, 2018Updated 7 years ago
- Unit testing example with aXe and Jasmine☆13Apr 20, 2017Updated 8 years ago
- React component for rendering RDF graphs and datasets using n3.js and cytoscape.js☆10Nov 8, 2021Updated 4 years ago
- Exposes Redis stream through the command line☆12Jun 28, 2022Updated 3 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 4 months ago
- KEDA External Scaler for Azure Cosmos DB☆11Jan 25, 2026Updated last month
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 4 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- JSON-LD parser that implements the RDFJS Sink interface using jsonld.js☆13Updated this week
- ☆11Jul 16, 2023Updated 2 years ago