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.☆198Updated last year
- Materials for /An Outsider's Guide to Statically Typed Functional Programming/☆25Updated 7 years ago
- ☆79Updated last year
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- Sources for the PureScript book☆367Updated last year
- Sample code for "Learning Haskell" tutorial☆50Updated 5 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 5 years ago
- Source code for series of Haskell tutorials☆24Updated 10 years ago
- Community curated list of companies that use Purescript☆142Updated last year
- ☆30Updated 3 years ago
- Companion to the Haskell in Production series☆80Updated 6 years ago
- Haskell Monad tutorial with pictures☆135Updated 9 years ago
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆107Updated 6 years ago
- Exercises from the readers of the Haskell Book☆55Updated 6 years ago
- Useful resources for the Eta programming language☆63Updated 4 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆138Updated 4 years ago
- Cookbook documentation☆226Updated 4 years ago
- "Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October …☆190Updated 9 years ago
- React Bindings for PureScript☆408Updated 2 years ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- Advent of Code 2017☆40Updated 6 years ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated last year
- Space Invaders game in Elm☆23Updated 2 years ago
- ☆37Updated 7 years ago
- An opinionated set of bindings to the React library, optimizing for the most basic use cases☆287Updated 7 months ago
- 24 Days of PureScript, 2016☆290Updated 2 years ago
- Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library☆130Updated 2 weeks ago
- Exemplary real world application built with Haskell + Yesod☆169Updated 4 years ago
- Example of React Bindings for PureScript☆47Updated 7 years ago
- Random DDD related things in Haskell☆49Updated 8 years ago