lambdalille / talksLinks
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
Sorting:
- ☆20Updated 2 years ago
- Roc Build Tool☆49Updated 2 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Updated 4 years ago
- Exercism exercises in Idris.☆35Updated this week
- Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.☆152Updated 6 months ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 4 years ago
- Crossing the road between Haskell and Elm☆90Updated 5 months ago
- Stk is a free, real time stock quotes, charts and market overview.☆17Updated 7 years ago
- Explicit typeclasses for Elm☆54Updated 4 years ago
- Command line tool for converting html/svg into elm source☆14Updated 7 years ago
- Haskell: Derive Elm types from Haskell types☆105Updated last year
- Server-side VDOM UI framework for Concur☆138Updated 4 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- Declarative UIs are the Future — And the Future is Comonadic!☆54Updated 7 years ago
- ☆26Updated 2 years ago
- A library with an encoding of higher kinded types in OCaml☆40Updated this week
- Language mixing functional programming and Ambient Calculus☆10Updated 10 months ago
- Libraries we use at NoRedInk☆76Updated last week
- Management of arithmetic operations on dates☆25Updated 7 years ago
- OCaml preprocessor to derive enum-like behaviour from simple variants☆14Updated 6 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Documentation of Hamler☆77Updated last year
- Erlang code generator for Idris 2☆142Updated last year
- Generate Erlang VM byte code from Haskell☆169Updated 10 months ago
- A Elm implementation of the Tailwind framework that is type safe☆16Updated 4 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆18Updated last month
- TEA for the shell, in OCaml☆40Updated 6 years ago
- Common CSS patterns done with elm and elm-css☆66Updated 2 years ago
- mustache.js logic-less templates in OCaml☆86Updated last year