A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
☆182Jul 31, 2024Updated 2 years ago
Alternatives and similar repositories for Stopify
Users that are interested in Stopify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Continuous reactive programming in JavaScript.☆10Mar 12, 2021Updated 5 years ago
- Scripts and Javascript Glue code to use Z3 in the browser using WASM☆13Jan 10, 2022Updated 4 years ago
- multi-shot continuations in OCaml☆57Nov 21, 2025Updated 11 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆141Mar 24, 2026Updated 7 months ago
- A CSS specification and reasoning engine☆102Feb 15, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Project aims to compile Java sources into Scala.js IR☆30Sep 20, 2017Updated 9 years ago
- A LaTeX template designed for Computer Science homework.☆11Sep 15, 2017Updated 9 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Pure Type Systems☆12Jul 31, 2020Updated 6 years ago
- Wob extended wtih effect handlers☆14Sep 25, 2023Updated 3 years ago
- Easy scripting for DrRacket☆19Aug 11, 2026Updated 3 months ago
- ☆12Jul 10, 2020Updated 6 years ago
- A less devious proof assistant☆232Jan 23, 2023Updated 3 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.
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 7 years ago
- An implementation of the Morphic user interface framework for lively.next.☆13Jun 18, 2019Updated 7 years ago
- Synless is a language-agnostic tree editor.☆25Apr 15, 2026Updated 6 months ago
- Facade for the codemirror☆10Jul 15, 2017Updated 9 years ago
- Generic bind forms for Racket☆12Aug 21, 2023Updated 3 years ago
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Mar 21, 2019Updated 7 years ago
- A Scribble library for typesetting grammars better☆15Jul 9, 2026Updated 4 months ago
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 3 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆202Mar 29, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆17Jun 28, 2025Updated last year
- ☆20May 12, 2023Updated 3 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated last year
- A regular expression type provider demo☆41Sep 16, 2015Updated 11 years ago
- Astonishingly simple, disciplined, testable effects☆22Updated this week
- a datalog interpreter in typescript☆224Dec 31, 2024Updated last year
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Well-typed JSON parser generator inspired by Type Provider☆16Feb 26, 2021Updated 5 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- You're probably looking for https://github.com/briancavalier/most-behave instead☆11Jul 19, 2018Updated 8 years ago
- An automatic first-order theorem prover in Haskell☆12Oct 16, 2015Updated 11 years ago
- OPAM repo for OCaml multicore development☆51Jan 25, 2022Updated 4 years ago
- Collection of packages to codegen types and serialization to communicate between ts and rust☆24Jan 3, 2023Updated 3 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 5 years ago
- Connect ReactTransitionGroup and GSAP to stagger item entrances and exits☆10Mar 10, 2016Updated 10 years ago
- an implementation of stuck macros☆156Aug 30, 2026Updated 2 months ago
Are these results useful?