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:
- Useful resources for the Eta programming language☆62Updated 4 years ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆196Updated last year
- Frege REPL☆79Updated 6 years ago
- Materials for /An Outsider's Guide to Statically Typed Functional Programming/☆25Updated 7 years ago
- ☆78Updated last year
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 5 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- Source Code for Functional Programming Patterns in Scala and Clojure☆11Updated 11 years ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated last year
- Haskell Monad tutorial with pictures☆136Updated 9 years ago
- Examples from "Structure and Interpretation of Computer Programs" in different languages.☆27Updated 10 years ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆93Updated 8 years ago
- Code samples and exercise solutions for /Functional Programming for the Object-Oriented Programmer/☆144Updated 2 years ago
- Cookbook documentation☆227Updated 4 years ago
- ☆29Updated 3 years ago
- Sources for the PureScript book☆364Updated last year
- Haskell Koans for the Vancouver's Haskell UnMeetup☆284Updated 4 years ago
- Resources and suggestions from the Boston Clojure Group for how to learn Clojure☆44Updated 8 years ago
- Sample code from "Type Driven Development with Idris"☆167Updated 8 years ago
- Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library☆128Updated last month
- Language support for the Frege programming language in IntelliJIDEA (currently experimental)☆22Updated 9 years ago
- Community curated list of companies that use Purescript☆142Updated 10 months ago
- Racket support for Amazon Web Services.☆79Updated 4 months ago
- Write small programs (eg -algorithms) in a functional way.☆129Updated 4 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 6 years ago
- Exemplary real world application built with Haskell + Yesod☆169Updated 3 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- A free Static Land compatible Monad implementation☆13Updated 6 years ago
- React Bindings for PureScript☆407Updated 2 years ago