HS-Flensburg-PLTP / fp-companies-sh-hhLinks
A list of companies in Schleswig-Holstein and Hamburg, that use functional programming
☆12Updated 4 years ago
Alternatives and similar repositories for fp-companies-sh-hh
Users that are interested in fp-companies-sh-hh are comparing it to the libraries listed below
Sorting:
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆46Updated 3 weeks ago
- Parse and render URI templates.☆16Updated 2 weeks ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 5 months ago
- ☆10Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Set up your GitHub Actions workflow with a specific version of Haskell (GHC and Cabal)☆71Updated 4 years ago
- Formatting and printing for numeric and date/time/interval values☆40Updated 2 years ago
- tools for writing better type errors☆73Updated last year
- Haskell bindings to the Graphviz toolkit☆64Updated 2 years ago
- semirings and *-semirings of types in base/haskell-platform☆42Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- A pleasant PostgreSQL database layer for Haskell☆42Updated 2 weeks ago
- Proposal for an Agda tutorial☆11Updated 6 years ago
- Server-side VDOM UI framework for Concur☆138Updated 4 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- An introduction to common PureScript operators through the only truly universal language.☆49Updated 6 years ago
- The Haskell Foundation website, hosted by GitHub Pages.☆41Updated this week
- Type-safe time units in Haskell☆49Updated 4 months ago
- Overengineered attempt at implementing the RealWorld API spec in Haskell using Servant and Persistent☆16Updated 7 years ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated 9 months ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- UnionType in Idris☆11Updated 6 years ago
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- Call and consume GraphQL APIs with type safe queries and responses☆25Updated last year
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆43Updated 4 years ago
- Dhall bindings for Idris☆41Updated 6 months ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- Generate a special combinator from any data type.☆10Updated 5 years ago