Alternatives and similar repositories for lambda-calculus-typescript:

Users that are interested in lambda-calculus-typescript are comparing it to the libraries listed below

• purescript / trypurescript
  PureScript in the browser
  ☆120Updated 7 months ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 7 years ago
• ethul / purescript-react-redux-example
  ☆11Updated 7 years ago
• hasura / pg-client-hs
  A low level Haskell library to connect to postgres
  ☆25Updated 2 years ago
• ajnsit / purescript-companies
  Community curated list of companies that use Purescript
  ☆140Updated 4 months ago
• fantasyland / fantasy-birds
  port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.
  ☆92Updated 8 years ago
• i-am-tom / learn-me-a-haskell
  Trying to get back all the stuff I had in JavaScript.
  ☆69Updated 6 years ago
• ethul / purescript-react-example
  Example of React Bindings for PureScript
  ☆47Updated 6 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• srghma / category-theory-bartosz-milewski-lecture-notes
  Category theory for programmers lecture notes
  ☆23Updated 6 years ago
• rcook / beginning-practical-haskell
  An introductory Haskell programming course by Richard Cook
  ☆29Updated 7 years ago
• tzemanovic / haskell-yesod-realworld-example-app
  Exemplary real world application built with Haskell + Yesod
  ☆169Updated 3 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• graninas / Andromeda
  ☆78Updated 7 months ago
• justinwoo / spacchetti-react-basic-starter
  Fork of react-basic-starter using Package sets
  ☆24Updated 5 years ago
• szg251 / space_invaders
  Space Invaders game in Elm
  ☆23Updated 2 years ago
• gcanti / recursion-schemes-ts
  Recursion schemes in TypeScript (POC)
  ☆22Updated 4 years ago
• calmm-js / freer
  A free Static Land compatible Monad implementation
  ☆13Updated 6 years ago
• purescript / purescript-quickcheck
  An implementation of QuickCheck in PureScript
  ☆104Updated 2 years ago
• fantasyland / fantasy-laws
  Property-based tests for FL-compatible ADTs
  ☆33Updated 3 years ago
• purescript / pursuit
  Website for hosting and searching PureScript API documentation
  ☆172Updated 7 months ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆98Updated 9 years ago
• purescript-node / purescript-node-http
  A wrapper for Node's HTTP APIs
  ☆40Updated last year
• xgrommx / purescript-ecosystem
  ☆97Updated 4 years ago
• seanhess / practical-haskell
  Source code for series of Haskell tutorials
  ☆24Updated 9 years ago
• marick / static-fp
  Materials for /An Outsider's Guide to Statically Typed Functional Programming/
  ☆25Updated 7 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• sorellabs / claire
  [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
  ☆78Updated 11 years ago
• YBogomolov / kleisli-ts
  Kleisli arrows for bifunctor IO
  ☆45Updated 2 years ago
• CarlosMChica / haskell-book-readers-exercises
  Exercises from the readers of the Haskell Book
  ☆55Updated 5 years ago