andys8 / type-signature-comLinks
Who Wants to Be a Millionaire - but with types
β89Updated last year
Alternatives and similar repositories for type-signature-com
Users that are interested in type-signature-com are comparing it to the libraries listed below
Sorting:
- π§ a work in progress effect system for Haskell π§β133Updated 2 years ago
- A curated list of awesome functional programming jobs.β75Updated 3 months ago
- Best practices on how to be efficient with Haskell in productionβ99Updated last month
- Show Haskell type annotations when doing code review on Githubβ142Updated 4 years ago
- My Github pages websiteβ77Updated 7 months ago
- Development work related to the PureScript Registryβ96Updated last month
- Documentation about Haskell's dangerous functions and a hlint config file to warn about themβ186Updated 6 months ago
- Find your open-soulmate <π>β75Updated 3 years ago
- β126Updated this week
- Active streaming declarative programmers. See who's online at the following URL:β67Updated 2 months ago
- NullPointerExceptions in Haskellβ58Updated 8 years ago
- Compiler frontend for PureScript in Rustβ68Updated last week
- An unofficial Idris2 package repository for Nixβ47Updated 2 years ago
- Effects libraries in Haskellβ71Updated 2 years ago
- β51Updated 3 years ago
- A syntax tidy-upper for PureScript.β98Updated 7 months ago
- Haskell Playgroundβ146Updated this week
- A List of Foundational Haskell Papersβ41Updated 6 years ago
- π Haskell CLI Framework supporting Command Line Interface Guidelinesβ197Updated last year
- β50Updated 5 years ago
- A tool to make solving type errors in Haskell simple and fun.β38Updated 2 years ago
- β88Updated 3 years ago
- Optimizing backend toolkit and modern ECMAScript backend for PureScriptβ207Updated 4 months ago
- π― IO with Exceptions tracked on the type-levelβ58Updated 4 years ago
- Hey! Hey! Can u rel8?β160Updated 3 weeks ago
- Source code for haskle.netβ30Updated 2 years ago
- Fast and simple JSON encoding toolkitβ83Updated last year
- Compositional Representable Executable Machinesβ121Updated 2 months ago
- A theoryβbacked, ultra typeβsafe algebraic effectsβ173Updated last month
- π Profunctor based lightweight implementation of Lensesβ71Updated 2 years ago