bolt12 / master-thesisLinks
Selective Functors & Probabilistic Programming
☆22Updated 4 years ago
Alternatives and similar repositories for master-thesis
Users that are interested in master-thesis are comparing it to the libraries listed below
Sorting:
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- a modern library for typed path manipulation in Haskell☆36Updated last month
- Combine and enhance Functors☆39Updated last month
- Asymptotically optimal Brodal/Okasaki heaps☆32Updated 9 months ago
- Non-empty Vectors☆26Updated 5 months ago
- Serializable closures for distributed programming.☆65Updated last year
- Haskell time library focusing on performance☆57Updated last month
- rewrite rules for type-level equalities☆62Updated 3 weeks ago
- Automation of Haskell package release process.☆31Updated last year
- Kleene algebra, regular expressions☆33Updated last year
- A GHC plugin and library for analysing GHC Core☆54Updated 7 months ago
- Symbol manipulation☆36Updated 2 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 7 months ago
- Extensible type-safe unions for Haskell☆34Updated 6 months ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- ☆44Updated 6 months ago
- Quickcheck Properties for common typeclasses☆35Updated 5 months ago
- Automatic type class law checking.☆24Updated 8 months ago
- type level sets☆67Updated 5 years ago
- reverse dependency build matrix generator☆33Updated 5 years ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Simplify and render Template Haskell☆18Updated 7 years ago
- phantom types☆38Updated 7 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago