Muzietto / es6-lambda-calculusLinks
Describing lambda-calculus using ES6 arrow notation
☆25Updated 3 years ago
Alternatives and similar repositories for es6-lambda-calculus
Users that are interested in es6-lambda-calculus are comparing it to the libraries listed below
Sorting:
- Example of React Bindings for PureScript☆47Updated 6 years ago
- Free monads for bucklescript☆25Updated 6 years ago
- Contract library for javascript based on category theory.☆40Updated 8 years ago
- GraphQL in OCaml tutorial (CUFP 2017)☆29Updated 7 years ago
- Property-based tests for FL-compatible ADTs☆33Updated 3 years ago
- Algorithms and Data Structures in ReasonML☆39Updated 6 years ago
- Monadic syntax to work with promise in ReasonML☆39Updated 3 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- Tuple data structures.☆15Updated 8 years ago
- Code examples from Scott Wlaschin's book "Domain Modeling Made Functional" converted from F# to ReasonML.☆17Updated last year
- GADT lenses☆104Updated 3 years ago
- Fluture type definitions for Sanctuary☆19Updated 4 years ago
- Bucklescript bindings for Enzyme☆35Updated 3 years ago
- Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen☆16Updated 6 years ago
- Exploring Concurrent ML in Reason☆18Updated 8 years ago
- Apprenez à developper en ReasonML en faisant un jeu vidéo !☆14Updated 7 years ago
- OBSOLETE! Check out https://github.com/ryyppy/reason-tictactoe INSTEAD☆23Updated 7 years ago
- Bucklescript data structures for effectful sync and async programming☆37Updated 5 years ago
- A thin layer around React to allow writing components in a more functional way☆30Updated 6 years ago
- 🐈 Catstagram made with ReasonReact!☆33Updated 5 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- curated list of reasonml PPX rewriter☆29Updated 2 years ago
- Meta repository for discussions regarding ECMAScript proposals☆12Updated 8 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 11 years ago
- Type-driven code generation for OCaml, ReasonML, and BuckleScript☆42Updated 2 years ago
- Reason React Native UI Primatives☆11Updated 6 years ago
- Specification for type identifiers☆21Updated 8 months ago
- Reason JSX syntax for BuckleScript-TEA☆51Updated last year
- Game of Life in ReasonML with ReasonReact in 2020☆39Updated last year
- Algebraic effects and handlers using generators☆57Updated 2 weeks ago