Statically typed Bi-Cartesian Closed Categories and basic conversions in TypeScript.
☆22Sep 8, 2020Updated 5 years ago
Alternatives and similar repositories for BCCC
Users that are interested in BCCC are comparing it to the libraries listed below
Sorting:
- convert a webRTC connection into a stream☆43Sep 8, 2017Updated 8 years ago
- A thin layer around React to allow writing components in a more functional way☆30May 8, 2019Updated 6 years ago
- Generate TypeScript typings from a Stack☆11Feb 16, 2026Updated 2 weeks ago
- Web application to help tenants keep track of documentss related to their rental unit☆11Jan 7, 2023Updated 3 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Aug 24, 2023Updated 2 years ago
- Leiningen plugin for Typed Clojure☆83Apr 4, 2019Updated 6 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- A clojurescript lib for performing async tasks via web workers☆47Apr 25, 2024Updated last year
- A way to track my readings☆12Feb 13, 2026Updated 2 weeks ago
- Purely Functional Data Structures in Rust☆43Apr 7, 2016Updated 9 years ago
- A simple Blaze Component for use with Flow Router's layout manager☆11Sep 23, 2019Updated 6 years ago
- Expo project template for ReScript☆12Oct 5, 2020Updated 5 years ago
- Typeclasses in Typescript via prototype modification. Breaking best practices for fun and profit.☆13Nov 12, 2022Updated 3 years ago
- A Collection of free resources for the Akai Music Production Center software and standalone units, including API Documentation, Startup T…☆16Jul 16, 2022Updated 3 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Highly Experimental React-Router Bindings for GopherJS☆11Dec 2, 2016Updated 9 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆27Mar 19, 2015Updated 10 years ago
- OpenTelemetry integration with Effect☆12Oct 10, 2023Updated 2 years ago
- Short pieces of code that are "plays" - mostly haskell, sometimes math / other things☆13Jun 26, 2022Updated 3 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated last year
- A Tessel-specific JavaScript driver for the TCS34725 RGB sensor☆10Oct 18, 2015Updated 10 years ago
- Deep learning chat based on DL4J☆11Mar 31, 2017Updated 8 years ago
- A small (~900B gzip), useful set of methods for lazy iteration of iterables.☆12Updated this week
- Match style objects containing CSS Media Queries with React Native☆12Mar 5, 2019Updated 6 years ago
- A slack release robot (built with meteor)☆11Apr 7, 2015Updated 10 years ago
- A simple, budget, DIY F16 ICP flight control panel for use with flight simulators such as DCS World☆13Jan 9, 2022Updated 4 years ago
- ☆11Sep 29, 2017Updated 8 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- MuckRock User Service☆11Updated this week
- Assembly Web "Framework"☆10Apr 1, 2010Updated 15 years ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 6 years ago
- DEPRECATED: please use https://github.com/purescript-contrib/purescript-argonaut☆14Feb 7, 2017Updated 9 years ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago