HS-Flensburg-PLTP / fp-companies-sh-hh
A list of companies in Schleswig-Holstein and Hamburg, that use functional programming
☆12Updated 3 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
- Generate Elm client libraries from Servant API definitions.☆28Updated last year
- Parse and render URI templates.☆16Updated 3 weeks ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Crossing the road between Haskell and Elm☆89Updated 2 months ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated 6 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 3 weeks ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated 5 months ago
- ☆15Updated 5 years ago
- 📦 Custom Setup to automate package modules discovery☆32Updated 2 years ago
- A collection of Haskell's WATs☆92Updated last month
- A pleasant PostgreSQL database layer for Haskell☆42Updated 3 months ago
- Server-side VDOM UI framework for Concur☆138Updated 4 years ago
- Haskell implementation of open games☆12Updated 8 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated 3 months ago
- Provides elm-review rules to detect unused elements in your Elm project☆25Updated last week
- Grow procedual art☆37Updated 7 months ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- ☆49Updated 5 years ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆43Updated 3 years ago
- ☆92Updated 10 months ago
- Moved to https://github.com/haskell-webgear/webgear☆38Updated 3 years ago
- Bind The Gap: FP digital magazine☆21Updated 4 years ago
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago