EnricoPicci / lambda-calculus-typescriptLinks
Examples of lambda calculus implementations using Typescript
☆10Updated 2 years ago
Alternatives and similar repositories for lambda-calculus-typescript
Users that are interested in lambda-calculus-typescript are comparing it to the libraries listed below
Sorting:
- Materials for /An Outsider's Guide to Statically Typed Functional Programming/☆25Updated 7 years ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆198Updated last year
- Frege REPL☆79Updated 6 years ago
- Sources for the PureScript book☆367Updated last year
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆93Updated 9 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- Useful resources for the Eta programming language☆62Updated 4 years ago
- Code samples and exercise solutions for /Functional Programming for the Object-Oriented Programmer/☆144Updated 2 years ago
- Haskell domain modeling playground☆32Updated 3 years ago
- React Bindings for PureScript☆407Updated 2 years ago
- An opinionated set of bindings to the React library, optimizing for the most basic use cases☆288Updated 6 months ago
- Haskell Monad tutorial with pictures☆135Updated 9 years ago
- ☆79Updated last year
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated last year
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆107Updated 6 years ago
- Sample code for "Learning Haskell" tutorial☆50Updated 5 years ago
- Random DDD related things in Haskell☆48Updated 8 years ago
- Community curated list of companies that use Purescript☆142Updated 11 months ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- Example of React Bindings for PureScript☆47Updated 6 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- Source code for series of Haskell tutorials☆24Updated 10 years ago
- The most practical sample to make with Effect-TS, or is it? To Do taken to the next level ;-)☆32Updated 4 years ago
- Purescript wrapper for Express.js☆183Updated 6 months ago
- A free Static Land compatible Monad implementation☆14Updated 6 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆71Updated 9 years ago
- Kleisli arrows for bifunctor IO☆45Updated 2 years ago
- Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library☆129Updated 2 weeks ago
- ☆30Updated 3 years ago