EnricoPicci / lambda-calculus-typescript
Examples of lambda calculus implementations using Typescript
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lambda-calculus-typescript
- An introductory Haskell programming course by Richard Cook☆29Updated 6 years ago
- ☆11Updated 7 years ago
- Fork of react-basic-starter using Package sets☆24Updated 5 years ago
- Useful resources for the Eta programming language☆61Updated 3 years ago
- ☆75Updated 2 months ago
- Category theory for programmers lecture notes☆23Updated 6 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- PureScript in the browser☆119Updated 2 months ago
- A tutorial for using Emacs with Haskell projects☆43Updated 2 years ago
- Example of React Bindings for PureScript☆46Updated 5 years ago
- Community curated list of companies that use Purescript☆137Updated 10 months ago
- Materials for /An Outsider's Guide to Statically Typed Functional Programming/☆25Updated 6 years ago
- ☆51Updated 9 years ago
- Source code for series of Haskell tutorials☆24Updated 9 years ago
- Sample code from "Type Driven Development with Idris"☆162Updated 7 years ago
- Haskell domain modeling playground☆31Updated 2 years ago
- Sample code for "Learning Haskell" tutorial☆48Updated 4 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 2 years ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆91Updated 8 years ago
- Website for hosting and searching PureScript API documentation☆170Updated 2 months ago
- Denotational Design: from programs to meanings☆99Updated 8 years ago
- Advent of Code 2017☆41Updated 5 years ago
- ☆38Updated 6 years ago
- Frege REPL☆78Updated 5 years ago
- Tutorial Series - Make the Leap from Javascript to PureScript☆304Updated last year
- Companion to the Haskell in Production series☆80Updated 5 years ago
- ☆29Updated 2 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 years ago