mbbx6spp / welltypedfpLinks
Curriculum, and materials including exercises for an internal course on typed pure functional programming
☆10Updated 6 years ago
Alternatives and similar repositories for welltypedfp
Users that are interested in welltypedfp are comparing it to the libraries listed below
Sorting:
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Dhall helpers for github actions☆54Updated last year
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Course material for lens☆22Updated 8 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- [WIP] A type system for nix☆62Updated 5 years ago
- Tasty meal of Dhall☆66Updated last year
- Building Better Services And Clients☆41Updated 6 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- ☆40Updated 6 years ago
- Le Fromage de Terreur - Auto-generated Terraform DSL☆63Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A tool for OpenTelemetry tracing on the command line☆22Updated 3 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 4 months ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Hedgehog will eat your typeclass bugs☆56Updated this week
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Jupyter notebooks☆58Updated 6 months ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 6 years ago
- Stroll: an experimental build system☆40Updated 2 years ago
- ☆10Updated 2 months ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆23Updated 7 years ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆21Updated 4 years ago
- A functional web framework☆34Updated 3 years ago