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:
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆196Updated last year
- Materials for /An Outsider's Guide to Statically Typed Functional Programming/☆25Updated 7 years ago
- Useful resources for the Eta programming language☆62Updated 4 years ago
- Frege REPL☆78Updated 6 years ago
- ☆78Updated last year
- Sources for the PureScript book☆364Updated last year
- Example of React Bindings for PureScript☆47Updated 6 years ago
- Sample code for "Learning Haskell" tutorial☆50Updated 5 years ago
- ☆29Updated 2 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- A free Static Land compatible Monad implementation☆13Updated 6 years ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆93Updated 8 years ago
- Source code for series of Haskell tutorials☆24Updated 10 years ago
- Haskell Monad tutorial with pictures☆136Updated 9 years ago
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆107Updated 5 years ago
- Cookbook documentation☆228Updated 4 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 5 years ago
- Community curated list of companies that use Purescript☆142Updated 9 months ago
- ☆19Updated 7 years ago
- Write small programs (eg -algorithms) in a functional way.☆129Updated 4 years ago
- Kleisli arrows for bifunctor IO☆45Updated 2 years ago
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- Code samples for #monadicmonday topics☆86Updated 5 years ago
- An opinionated set of bindings to the React library, optimizing for the most basic use cases☆287Updated 4 months ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆137Updated 4 years ago
- Statically typed Bi-Cartesian Closed Categories and basic conversions in TypeScript.☆22Updated 5 years ago
- Comprehensive framework to build network actors and distributed applications☆24Updated 6 years ago
- Haskell domain modeling playground☆32Updated 3 years ago
- Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library☆128Updated 3 weeks ago
- Code and materials for my book "Pragmatic Type Level Design"☆145Updated 5 months ago