Muzietto / es6-lambda-calculus
Describing lambda-calculus using ES6 arrow notation
☆25Updated 2 years ago
Related projects: ⓘ
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated last year
- Example projects using sanctuary.js as FP library☆17Updated 5 years ago
- Contract library for javascript based on category theory.☆39Updated 7 years ago
- Property-based tests for FL-compatible ADTs☆33Updated 2 years ago
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆38Updated last year
- Fluture type definitions for Sanctuary☆19Updated 3 years ago
- Full Stack ReasonML Tutorials☆229Updated 3 years ago
- Example of React Bindings for PureScript☆46Updated 5 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆79Updated 10 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆44Updated 4 years ago
- ramda logic☆43Updated last year
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆88Updated 7 years ago
- A functional approach to stateful computations☆22Updated last week
- Specification for type identifiers☆21Updated 8 months ago
- Practical monad transformers for JS.☆25Updated 7 years ago
- ☆51Updated 5 years ago
- ECMAScript derived programming language☆67Updated 9 years ago
- Monad Library for JavaScript☆54Updated 11 years ago
- equals (x) (eval (show (x)))☆14Updated 7 months ago
- Tuple data structures.☆15Updated 7 years ago
- ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.☆44Updated 6 years ago
- Lisp that compiles to JavaScript in the Ramda way☆133Updated 6 years ago
- Another way to describe the control state of your Reason UI☆25Updated 7 years ago
- just another compiler experiment☆14Updated 7 years ago
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆56Updated last year
- Functional Zipper for manipulating JSON☆55Updated 5 years ago
- A simple, serializable sum-type format☆41Updated 6 months ago
- Reactive programming with focus on developer friendly stream semantics, high performance and functional usage☆16Updated 5 years ago
- 🐈 Catstagram made with ReasonReact!☆33Updated 4 years ago
- Javascript Monad and Monad Transformer Collection☆82Updated 6 years ago