Muzietto / es6-lambda-calculus
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
- Property-based tests for FL-compatible ADTs☆33Updated 3 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 11 years ago
- Example of React Bindings for PureScript☆47Updated 6 years ago
- Another way to describe the control state of your Reason UI☆24Updated 7 years ago
- Fluture type definitions for Sanctuary☆19Updated 4 years ago
- Specification for type identifiers☆21Updated 5 months ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆92Updated 8 years ago
- just another compiler experiment☆14Updated 8 years ago
- Game Of Life built using ReasonML and Reprocessing☆24Updated 2 years ago
- Meta repository for discussions regarding ECMAScript proposals☆12Updated 8 years ago
- Example projects using sanctuary.js as FP library☆17Updated 6 years ago
- Utilities for generic functional programming☆22Updated 2 years ago
- Practical monad transformers for JS.☆26Updated 8 years ago
- A simple, serializable sum-type format☆41Updated last year
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- ☆51Updated 6 years ago
- 🐈 Catstagram made with ReasonReact!☆33Updated 5 years ago
- This repo is used to curate the code that goes along with a live coding series on working with ADTs in JS☆29Updated 7 years ago
- Algorithms and Data Structures in ReasonML☆39Updated 6 years ago
- A collection of monoids☆29Updated 8 years ago
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Updated 2 years ago
- Functional Zipper for manipulating JSON☆55Updated 6 years ago
- Combination of a free applicative functor and free monad☆58Updated 4 years ago
- ECMAScript derived programming language☆68Updated 9 years ago
- Toolset for retrying potentially failing computations☆15Updated 4 years ago
- Natural pattern matching in JS☆23Updated 2 years ago
- ramda logic☆43Updated 7 months ago
- Functional Programming and Related Stuff☆65Updated last year
- Canvas bindings for PureScript☆55Updated 10 months ago
- A thin layer around React to allow writing components in a more functional way☆30Updated 5 years ago