(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
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 6 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- broad template licenses for software that allow or prohibit use for specific purposes☆23Jan 21, 2022Updated 4 years ago
- My blog☆15Mar 4, 2023Updated 3 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- The frontend repository for a Sim Hockey League's statistical index built with Next.js and Typescript☆14Apr 28, 2025Updated 10 months ago
- A small video game console for Arduino using the Brainduino interpreter☆28Apr 4, 2018Updated 7 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
- Babel plugin to compose functions with piping using the & operator☆63Aug 10, 2018Updated 7 years ago
- A fully complete and functional exception handling library written in ANSI/ISO C.☆31Sep 24, 2011Updated 14 years ago
- Fast pipe, pipe first as a syntax transform☆27May 5, 2020Updated 5 years ago
- Formalizations of strong normalization proofs☆35Jul 8, 2019Updated 6 years ago
- Small library for describing HKTs in TypeScript☆32May 9, 2018Updated 7 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆38Updated this week
- KodeFox Product Infrastructure☆12Updated this week
- A secure web framework, built in the Idris language.☆109Feb 3, 2014Updated 12 years ago
- Pragma is a self-hosted, open-source, personal note taking app.☆42Feb 3, 2020Updated 6 years ago
- Type-safe library for building parallel applications, built on top of Async's Rpc module.☆50Jan 15, 2026Updated last month
- A gatekeeper for your commits☆47Feb 4, 2026Updated last month
- A rework plugin to read and inline css via @import☆23Oct 14, 2020Updated 5 years ago
- An HTTP client for the Rust AWS SDK that runs on Fastly Compute @ Edge☆10Nov 11, 2025Updated 3 months ago
- ☆10Apr 20, 2019Updated 6 years ago
- The Rosely Visual Studio Code Theme is based on a millennial pink inspired colour palette. It is a deliberately low contrast theme full o…☆12Jan 3, 2021Updated 5 years ago
- ☆12Dec 26, 2023Updated 2 years ago
- The dataset contains Wikipedia comments which have been labeled by human raters for toxic behavior.☆11Jun 20, 2020Updated 5 years ago
- Libraries for working with file formats in Nintendo DS games☆12Nov 20, 2022Updated 3 years ago
- Gandr is a cross-platform bootloader project, intended to fill in the gap of a utopic bootloader.☆20Aug 13, 2015Updated 10 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆10Feb 3, 2026Updated last month
- Colocate your Configuration and Code☆10Mar 16, 2024Updated last year
- Simple program that reads .env file and use it to run given command☆10Mar 5, 2023Updated 3 years ago
- React Native Paper bindings for BS☆43Dec 9, 2022Updated 3 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- ☆12Jan 11, 2023Updated 3 years ago
- Use a Nintendo Switch Joy-Con (L) for Clip Studio Paint hotkeys☆10May 28, 2024Updated last year
- This is a codebase for a website we are creating for a NGO in Botswana called BW Jobs for Graduates. We are helping them achieve their mi…☆12Aug 13, 2021Updated 4 years ago
- A tool that downloads ankama's games from the launcher's CDN☆10Mar 31, 2021Updated 4 years ago
- Fast & light ChatGPT UI written in Seniman.JS☆15Jun 15, 2023Updated 2 years ago