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
- Non-empty Vectors☆25Updated 3 months ago
- semirings and *-semirings of types in base/haskell-platform☆42Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- a modern library for typed path manipulation in Haskell☆36Updated last week
- Serializable closures for distributed programming.☆65Updated last year
- Surgery for generic data types☆25Updated 4 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- Symbol manipulation☆36Updated 2 years ago
- A command-line tool for live monitoring☆25Updated last month
- A monad, perhaps.☆32Updated 5 years ago
- 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
- Kleene algebra, regular expressions☆32Updated last year
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 6 months ago
- Automatic type class law checking.☆24Updated 6 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Hackager tool for releasing Haskell packages to Hackage☆31Updated 2 months ago
- Tasty meal of Dhall☆66Updated last year
- Create temporary postgres instances☆56Updated 11 months ago
- The Str signature and implementations☆21Updated 8 years ago
- type level sets☆67Updated 5 years ago
- Haskell time library focusing on performance☆57Updated 2 weeks ago
- ☆44Updated 4 months ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- UI experiments for coda☆66Updated 3 years ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago