giuseppemag / BCCC
Statically typed Bi-Cartesian Closed Categories and basic conversions in TypeScript.
☆22Updated 4 years ago
Alternatives and similar repositories for BCCC:
Users that are interested in BCCC are comparing it to the libraries listed below
- Hakyll support for Agda literate files☆19Updated 3 years ago
- because nobody really wants to eat boiled silkworms☆13Updated 7 years ago
- Conway's Game of Life using a comonad☆22Updated last month
- A Purescript interface to Cycle.js using xstream☆10Updated 6 years ago
- Formlets for halogen☆30Updated 6 years ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Haskell implementation of C4 model, for specifying software architecture☆18Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- Fork of react-basic-starter using Package sets☆24Updated 5 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Updated 3 years ago
- My (rejected) OBT-2018 submission☆35Updated 4 years ago
- Exercism exercises in PureScript.☆37Updated 2 weeks ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆31Updated 7 years ago
- PureScript bindings for acdlite/recompose using purescript-react☆11Updated 7 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Starter application for purescript-react-basic☆44Updated 2 years ago
- A reaaaaaally lenient HTML parser for Purescript inspired by ndmitchell's TagSoup☆12Updated 6 years ago
- A simple application state store for PureScript.☆16Updated 7 years ago
- purescript-behaviors in PSCi☆19Updated 5 years ago
- A demo of Functional Reactive Programming in Purescript☆10Updated 6 years ago
- Program imperatively using PureScript, State monad and lenses☆25Updated 6 years ago
- The Effect monad, for handling native side effects☆53Updated 2 years ago
- Fast, hash-based, immutable collections.☆25Updated 11 months ago