Material for talks I've given
☆19May 6, 2024Updated last year
Alternatives and similar repositories for talks
Users that are interested in talks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 5 years ago
- ☆50Oct 1, 2015Updated 10 years ago
- Alef Lazily Evaluates Functions☆32Mar 10, 2013Updated 13 years ago
- Non-Recursive Inverting of Binary Tree in Rust☆20Oct 7, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Synchronous Message Exchange☆11Feb 3, 2026Updated 2 months ago
- Haskell ODBC binding with SQL Server support☆44Mar 10, 2024Updated 2 years ago
- A monadic DSL for simple configuration parsing☆29Jun 4, 2025Updated 10 months ago
- Inference Llama 2 in one file of pure Haskell (A port of llama2.c from Andrej Karpathy)☆14Oct 17, 2025Updated 6 months ago
- Step-by-step tutorial materials for the "A Whirlwind Tour of PureScript" workshop, held at YOW! Lambda Jam 2016 in Brisbane, and Compose …☆37Mar 31, 2017Updated 9 years ago
- A lazy and untyped experimental programming language☆10Jul 8, 2018Updated 7 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Nov 14, 2025Updated 5 months ago
- Functions for working with PureScripts 'Number' type☆13Oct 8, 2023Updated 2 years ago
- A high-performance, distributed Zero Trust firewall using eBPF/XDP. Aegis enforces identity-based micro-segmentation, dynamically opening…☆43Updated this week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Data Parallel Programming, the 2022 edition☆12Jan 18, 2024Updated 2 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- ☆13Feb 21, 2026Updated last month
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 7 years ago
- Web app for typical Haskeller's answers to everything☆22Feb 14, 2020Updated 6 years ago
- ☆13Feb 13, 2025Updated last year
- Advanced Formal Language Theory (263-5352-00L; Frühjahr 2023)☆10Feb 21, 2023Updated 3 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆65Mar 17, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- How to build Docker image for Haskell web app?☆30Jul 20, 2019Updated 6 years ago
- A small but complete example of CQRS and Event-Sourcing using aneshas/eventstore and Ambar☆22Nov 22, 2024Updated last year
- intelligently swap keys in emacs evil-mode☆21Feb 8, 2022Updated 4 years ago
- ☆13Nov 19, 2025Updated 4 months ago
- PMPH course 2020 public repo☆13Jan 18, 2024Updated 2 years ago
- Elm dictionary with custom key types.☆20Aug 12, 2024Updated last year
- ☆20Mar 25, 2021Updated 5 years ago
- Haskell bindings to the Polar query engine and Oso authorization library☆12Feb 15, 2022Updated 4 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Jan 29, 2025Updated last year
- Naked objects wicket binding and html generator framework for writing less wicket code☆28Apr 9, 2026Updated last week
- Rainy config for XMonad☆17Feb 18, 2020Updated 6 years ago
- ICS seminar 6, 2019 Fall☆11Dec 26, 2019Updated 6 years ago
- ☆14Jul 21, 2015Updated 10 years ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- A demo repo for some unusual and user-unfriendly behaviour with AWS environment variable encryption☆11Oct 30, 2021Updated 4 years ago