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:
- Library for generating Haskell source files and code fragments.☆98Updated 8 months ago
- agda-mode on Atom☆58Updated 4 years ago
- Parse and render URI templates.☆16Updated last month
- ☆15Updated 5 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 4 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 5 months ago
- The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course☆31Updated 6 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 3 weeks ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Updated 6 years ago
- An experimental Haskell library for programming with effectful runners.☆30Updated 5 years ago
- The Haskell Foundation website, hosted by GitHub Pages.☆41Updated last week
- Bind The Gap: FP digital magazine☆21Updated 4 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- Check cross-references in repository documents☆56Updated 4 months ago
- ☆21Updated 3 years ago
- Bindings to libsodium for Haskell☆37Updated this week
- 👮 Haskell PVP adviser☆74Updated 4 years ago
- Haskell bindings to the Graphviz toolkit☆64Updated 2 years ago
- A representative FP Castle☆18Updated 3 weeks ago
- Crossing the road between Haskell and Elm☆89Updated 3 months ago
- Overengineered attempt at implementing the RealWorld API spec in Haskell using Servant and Persistent☆16Updated 8 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆69Updated 7 months ago
- ☆31Updated 2 months ago
- Generate Elm client libraries from Servant API definitions.☆28Updated 2 years ago
- Distributed tracing☆24Updated last year
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 3 years ago
- Learn the Agda basics in three 2-hour sessions.☆60Updated last year
- ☆31Updated 7 years ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆42Updated this week
- Library to support efficient compilation of large records (linear in the number of record fields)☆48Updated last week