(experiment) Composable effects with one-shot continuations for JavaScript!
☆18Nov 27, 2018Updated 7 years ago
Alternatives and similar repositories for effects
Users that are interested in effects are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Babel plugin to allow lazy expressions by implicit arrow functions via ~ operator☆24Sep 4, 2017Updated 8 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆20Mar 19, 2019Updated 7 years ago
- Another way to describe mirage☆19Jul 8, 2019Updated 6 years ago
- Trampolines, to emulate tail-recursion.☆14Oct 31, 2018Updated 7 years ago
- ☆10Dec 9, 2015Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Functor products, coproducts, and composition☆14Apr 27, 2022Updated 3 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 6 months ago
- Create a vCard from an object. Simple wrapper around vcards-js.☆14Oct 28, 2017Updated 8 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Jun 27, 2024Updated last year
- Simple program that reads .env file and use it to run given command☆10Mar 5, 2023Updated 3 years ago
- Swift wrapper for SkiaSharp's C API☆12Nov 6, 2019Updated 6 years ago
- broad template licenses for software that allow or prohibit use for specific purposes☆23Jan 21, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A secure web framework, built in the Idris language.☆110Feb 3, 2014Updated 12 years ago
- simplified import of lens-family☆18Jul 12, 2016Updated 9 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- ☆11Oct 24, 2019Updated 6 years ago
- Repurpose object literals.☆14Jun 20, 2019Updated 6 years ago
- Fast pipe, pipe first as a syntax transform☆27May 5, 2020Updated 5 years ago
- A PHP7 extension that augments the syntax of the language such that XML document fragments become valid PHP expressions.☆13Oct 17, 2018Updated 7 years ago
- Lona cross-platform code compiler☆11Jun 27, 2022Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recomme…☆34Apr 1, 2026Updated 2 weeks ago
- Interface definitions for the Compute@Edge platform in witx.☆15Feb 11, 2022Updated 4 years ago
- Reason bindings for react-navigation☆14May 16, 2021Updated 4 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- KodeFox Product Infrastructure☆12Apr 8, 2026Updated last week
- a project manage tool for Idris☆17Aug 24, 2016Updated 9 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Mar 28, 2023Updated 3 years ago
- VirtFS kernel driver for FreeBSD☆13Sep 20, 2023Updated 2 years ago
- GHC .prof files viewer☆20Sep 4, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Reason PPX starter project using bsb-native.☆12Mar 13, 2026Updated last month
- ☆18Oct 25, 2021Updated 4 years ago
- ☆12Jul 10, 2020Updated 5 years ago
- A small video game console for Arduino using the Brainduino interpreter