EnricoPicci / lambda-calculus-typescript
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
- ☆76Updated 4 months ago
- An introductory Haskell programming course by Richard Cook☆29Updated 6 years ago
- PureScript in the browser☆120Updated 4 months ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- ☆29Updated 2 years ago
- A low level Haskell library to connect to postgres☆25Updated 2 years ago
- Haskell Monad tutorial with pictures☆135Updated 8 years ago
- Category theory for programmers lecture notes☆24Updated 6 years ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆91Updated 8 years ago
- Space Invaders game in Elm☆23Updated 2 years ago
- Sample code for "Learning Haskell" tutorial☆48Updated 4 years ago
- Useful resources for the Eta programming language☆63Updated 3 years ago
- Learn-Type-Driven-Development, published by Packt☆20Updated 2 years ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆194Updated 4 months ago
- ☆38Updated 6 years ago
- ☆97Updated 4 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- Links to some of my publications☆38Updated last year
- Exemplary real world application built with F#☆93Updated 7 years ago
- Recursion schemes in TypeScript (POC)☆22Updated 4 years ago
- Materials for /An Outsider's Guide to Statically Typed Functional Programming/☆25Updated 6 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- Code samples for #monadicmonday topics☆87Updated 4 years ago
- An example of writing an AWS Lambda function in Purescript☆37Updated 7 years ago
- ☆11Updated 7 years ago
- Examples from "Structure and Interpretation of Computer Programs" in different languages.☆27Updated 9 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- Website for hosting and searching PureScript API documentation☆172Updated 4 months ago