Reimplentation of the library from "Monads for Incremental Computing" in JS/TS.
☆12Apr 8, 2026Updated 6 months ago
Alternatives and similar repositories for adapt-comp
Users that are interested in adapt-comp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16May 18, 2016Updated 10 years ago
- Comparator-based Lean formal mathematics eval☆49Updated this week
- Finger tree data structure for JavaScript☆27Aug 19, 2025Updated last year
- Efficiently pipeline, batch, and cache requests to any data source☆28Apr 11, 2023Updated 3 years ago
- A generic zipper library for JavaScript☆29Jul 19, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🦅 🎲 Roc library for number generation (and more!)☆11Updated this week
- Functional Reactive Programming implementation for Rust☆12Feb 16, 2013Updated 13 years ago
- (Plugin has been added to official beets release) Beets plugin that imports Last.fm play counts into database☆11Oct 10, 2014Updated 12 years ago
- with nodejs v8, there is some new fun stuff for finding deopts, alongside existing ways to view them easily in chrome.☆13Jul 14, 2017Updated 9 years ago
- Audio feature extraction frontend written in Python☆14Feb 1, 2010Updated 16 years ago
- Crystal bindings for libxdo (xdotool)☆17Jul 5, 2023Updated 3 years ago
- ☆11Jun 11, 2018Updated 8 years ago
- Strictly define a contract for your objects and methods☆16Updated this week
- F# Advent repo for my blog on persistent hash map 2016-12-10☆11Jun 19, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An interpreted Programming Language☆11Dec 3, 2019Updated 6 years ago
- A Javascript Impementation of Eugene W. Myers' O(ND) Difference Algorithm Linear with Space Refinement☆13Jul 19, 2023Updated 3 years ago
- Echonest + iTunes = Sweet Playlists☆12Sep 18, 2014Updated 12 years ago
- PDF generator(s) for GitBook☆15Feb 12, 2026Updated 8 months ago
- A FizzBuzz solver using a Rust autodifferentiation library.☆21Jan 2, 2018Updated 8 years ago
- Continuation based JS reactive signals☆18Mar 10, 2023Updated 3 years ago
- Sample code demonstrating usage of https://github.com/loomnetwork/loom-js☆10May 13, 2019Updated 7 years ago
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- SwiftUI app for Mac to help make learning the Linnstrument layout a breeze☆16Oct 31, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Gstreamer PPAPI plugin for Chromium☆10Aug 17, 2015Updated 11 years ago
- Lazily calculated values☆12Mar 12, 2026Updated 7 months ago
- A simple CLI tool for macOS to monitor clipboard changes and output the contents as a JSON stream☆18Aug 5, 2017Updated 9 years ago
- Mono-Repo for Svelte compatible Store packages☆11Apr 10, 2024Updated 2 years ago
- A GameplayKit pathfinding graph for navigation meshes☆17Aug 27, 2015Updated 11 years ago
- Neovim integration for Herdr pane navigation☆11Jun 1, 2026Updated 4 months ago
- Mock channels for Electron's IPC communication☆14Jul 4, 2017Updated 9 years ago
- Connect to a music player daemon server, send commands, emit events.☆14Jul 30, 2025Updated last year
- Aspiring universal programming language. Features: user-definable syntax and types + self-improving optimizer that creates provably corre…☆18Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- IPBW: Interplanetary Black Widow crawls ur ipfs nodes☆12Sep 2, 2021Updated 5 years ago
- 🔭 Lenses, Prisms and Traversals in JavaScript!☆54Oct 19, 2020Updated 6 years ago
- Experiments with structured concurrency in Rust☆17Aug 16, 2024Updated 2 years ago
- ☆13Jun 5, 2025Updated last year
- A proof of concept for using Zed's Zeta model for predictions in neovim too!☆14Sep 28, 2026Updated last month
- A repo of little examples on how to code using the MLT framework☆15Jul 29, 2018Updated 8 years ago
- A Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable☆21Oct 20, 2026Updated last week