lambdalille / talks
History of Lambda Lille (ex-LilleFP) talks
☆22Updated 3 years ago
Alternatives and similar repositories for talks:
Users that are interested in talks are comparing it to the libraries listed below
- [WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml☆11Updated 2 years ago
- Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.☆148Updated 3 weeks ago
- Explicit typeclasses for Elm☆54Updated 4 years ago
- (unreleased) Data validation with first-class and first-order labels in OCaml☆30Updated 6 years ago
- Pure IO like monad☆38Updated 5 years ago
- Command line tool for converting html/svg into elm source☆14Updated 6 years ago
- Crossing the road between Haskell and Elm☆89Updated 3 months ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated 7 months ago
- Tools for programming with ConstraintKinds in GHC☆72Updated 5 months ago
- Generate Elm client libraries from Servant API definitions.☆28Updated last year
- Haskell: Derive Elm types from Haskell types☆104Updated 6 months ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated 6 months ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆14Updated last week
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Updated 4 years ago
- A timetracker and a page generator☆23Updated 3 years ago
- Language mixing functional programming and Ambient Calculus☆10Updated 3 months ago
- Server-side VDOM UI framework for Concur☆139Updated 4 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Ace Editor component for Elm☆30Updated 7 years ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- A self hosted website for announcing group events☆39Updated 3 years ago
- Exercism exercises in Idris.☆33Updated last week
- OCaml preprocessor to derive enum-like behaviour from simple variants☆14Updated 5 years ago
- Moved to https://github.com/haskell-webgear/webgear☆38Updated 3 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- 💪 type safe elm-html-css-builder aka athlete☆62Updated 3 years ago
- Build OCaml projects with Nix.☆55Updated last week
- Haskell PostgreSQL library with compile-time type inference☆86Updated last year
- ☆30Updated 6 years ago