Presentation/code from my talk at London HUG
☆58Jan 23, 2013Updated 13 years ago
Alternatives and similar repositories for LondonHUG
Users that are interested in LondonHUG are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 11 years ago
- The prelude.☆16Apr 3, 2019Updated 7 years ago
- Scala Improvement Process☆14Aug 21, 2016Updated 9 years ago
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆15Mar 17, 2016Updated 10 years ago
- Supporting material for ScalaWorld 2015.☆100Sep 21, 2015Updated 10 years ago
- Generation of arbitrary case classes / ADTs instances with Scalaprops and Magnolia☆14May 10, 2026Updated 3 weeks ago
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- ☆13Sep 22, 2015Updated 10 years ago
- Simple visualized cetz editor☆11Apr 22, 2025Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 12 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.
- Type-level API for standard collections☆33Jun 6, 2016Updated 10 years ago
- Slides and code for "Free Monads and Free Applicatives" from flatMap(Oslo) 2016☆16Jun 8, 2016Updated 10 years ago
- Parser and type analysis for the Go programming language☆12Apr 3, 2026Updated 2 months ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Shipwire API client☆16Nov 17, 2017Updated 8 years ago
- Template for a basic academic page☆18Apr 14, 2026Updated last month
- ☆19Jul 23, 2017Updated 8 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- Library that eases the usage of Free Monads based on cats and allows to compose multiple free monads into one.☆17Sep 14, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 14 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 9 years ago
- Catenable lists☆21Apr 27, 2022Updated 4 years ago
- Homotopy type theory☆14Sep 21, 2022Updated 3 years ago
- A Haskell API into HTML5 Canvas☆72May 26, 2026Updated 2 weeks ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- Programming in Haskell (2nd ed) by Graham Hutton☆12Dec 4, 2024Updated last year
- An onion architecture example☆69Oct 17, 2016Updated 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.
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 10 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- Transactional monadic actions on top of PostgreSQL.☆58Jun 2, 2022Updated 4 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Scala-friendly, fast class-finder library (using ASM under the covers)☆94Jul 3, 2021Updated 4 years ago
- A talk on using recursion schemes in FP.☆220Apr 1, 2024Updated 2 years ago
- A type-safe Haskell client for the Shopify API.☆12Jan 5, 2015Updated 11 years ago