giuseppemag / BCCCLinks
Statically typed Bi-Cartesian Closed Categories and basic conversions in TypeScript.
☆22Updated 5 years ago
Alternatives and similar repositories for BCCC
Users that are interested in BCCC are comparing it to the libraries listed below
Sorting:
- Node callbacks as thunks☆20Updated 10 years ago
- The Art of the Propagator. See also:☆174Updated last year
- ☆69Updated 3 years ago
- because nobody really wants to eat boiled silkworms☆13Updated 8 years ago
- A low level Haskell library to connect to postgres☆25Updated 3 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆106Updated 2 years ago
- Example of React Bindings for PureScript☆47Updated 6 years ago
- The Effect monad, for handling native side effects☆52Updated 3 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- A functional reactive programming (FRP) demo created with PureScript events and behaviors.☆33Updated 6 years ago
- ☆96Updated 5 years ago
- Incremental lambda calculus☆81Updated 6 years ago
- All the Transient libraries☆41Updated 3 weeks ago
- Working through Type-Driven Development with Idris☆24Updated 9 years ago
- A free Static Land compatible Monad implementation☆13Updated 6 years ago
- ☆45Updated 2 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- Conway's Game of Life using a comonad☆23Updated 8 months ago
- Functional Zipper for manipulating JSON☆56Updated 6 years ago
- A GraphQL query parser for Haskell☆59Updated 2 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- Quick HTTP servers☆60Updated 7 years ago
- Haskell implementation of C4 model, for specifying software architecture☆19Updated 3 years ago
- A UI library based on the incremental lambda calculus☆111Updated 7 years ago
- PureScript in the browser☆120Updated last year
- Finite state machines as graphs☆60Updated 5 years ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated last year
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago