EnricoPicci / lambda-calculus-typescriptLinks
Examples of lambda calculus implementations using Typescript
☆10Updated 3 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:
- Frege REPL☆79Updated 6 years ago
- Materials for /An Outsider's Guide to Statically Typed Functional Programming/☆25Updated 7 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆204Updated last year
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated 2 years ago
- Useful resources for the Eta programming language☆64Updated 4 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 5 years ago
- Haskell Monad tutorial with pictures☆135Updated 9 years ago
- ☆79Updated last year
- Examples of the book "Real World Haskell" in the Frege programming language☆71Updated 10 years ago
- Cookbook documentation☆226Updated 4 years ago
- Write small programs (eg -algorithms) in a functional way.☆129Updated 4 years ago
- Language support for the Frege programming language in IntelliJIDEA (currently experimental)☆22Updated 9 years ago
- Community curated list of companies that use Purescript☆142Updated last year
- ☆37Updated 7 years ago
- Haskell domain modeling playground☆32Updated 4 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 10 years ago
- A free Static Land compatible Monad implementation☆14Updated 7 years ago
- Code samples and exercise solutions for /Functional Programming for the Object-Oriented Programmer/☆144Updated 2 years ago
- PureScript in the browser☆121Updated last year
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆93Updated 9 years ago
- Exercises from the readers of the Haskell Book☆55Updated 6 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆141Updated 4 years ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- Source code for series of Haskell tutorials☆24Updated 10 years ago
- Haskell plugin for LightTable☆114Updated 10 years ago
- Source Code for Functional Programming Patterns in Scala and Clojure☆11Updated 11 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 4 years ago
- Networks of composable stream transducers☆338Updated 10 months ago