lambdalille / talksLinks
History of Lambda Lille (ex-LilleFP) talks
☆22Updated 4 years ago
Alternatives and similar repositories for talks
Users that are interested in talks are comparing it to the libraries listed below
Sorting:
- Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.☆154Updated this week
- Roc Build Tool☆49Updated 3 years ago
- Server-side VDOM UI framework for Concur☆138Updated 5 years ago
- Stk is a free, real time stock quotes, charts and market overview.☆17Updated 7 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Updated 4 years ago
- GitHub mirror for CI ONLY. All development happens on GitLab.☆40Updated 4 years ago
- Handle POSIX cron schedules.☆13Updated 2 weeks ago
- The UI for Unison Share☆34Updated 2 weeks ago
- OCaml preprocessor to derive enum-like behaviour from simple variants☆14Updated 6 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 6 years ago
- Exercism exercises in Idris.☆35Updated last month
- YOCaml is a static site generator, mostly written in OCaml☆154Updated last week
- A simple example of integrating TypeScript and Haskell.☆13Updated 4 years ago
- Language mixing functional programming and Ambient Calculus☆12Updated last year
- Apprenez à developper en ReasonML en faisant un jeu vidéo !☆14Updated 7 years ago
- Libraries we use at NoRedInk☆77Updated 2 months ago
- Crossing the road between Haskell and Elm☆91Updated last month
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆30Updated last year
- Modern, pure OCaml socket pool for Riot☆43Updated last year
- A Dhall encoding of the GitLab CI configuration schema☆49Updated 2 years ago
- Management of arithmetic operations on dates☆25Updated 7 years ago
- Documentation of Hamler☆77Updated 2 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated 3 years ago
- Ocaml multimedia library☆30Updated 4 years ago
- Package manager for Idris☆37Updated 3 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 9 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Updated 2 weeks ago
- Vim mode for Idris 2☆78Updated 3 years ago
- (unreleased) Data validation with first-class and first-order labels in OCaml☆30Updated 7 years ago
- Basic control of ANSI compliant terminals and the windows shell.☆45Updated 2 years ago