A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
☆180Jul 31, 2024Updated last year
Alternatives and similar repositories for Stopify
Users that are interested in Stopify are comparing it to the libraries listed below
Sorting:
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- Javascript Interpreter in Functional-Style Javascript☆20Feb 9, 2018Updated 8 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- A CSS specification and reasoning engine☆101Feb 15, 2023Updated 3 years ago
- A regular expression type provider demo☆40Sep 16, 2015Updated 10 years ago
- javascript minifier☆15Dec 8, 2022Updated 3 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆132Nov 28, 2023Updated 2 years ago
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 2 years ago
- Scripting with Least Privilege☆110Jun 1, 2017Updated 8 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆23Mar 9, 2021Updated 5 years ago
- A less devious proof assistant☆231Jan 23, 2023Updated 3 years ago
- Project aims to compile Java sources into Scala.js IR☆30Sep 20, 2017Updated 8 years ago
- A Scribble library for typesetting grammars better☆15Feb 22, 2023Updated 3 years ago
- a datalog interpreter in typescript☆217Dec 31, 2024Updated last year
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Oct 12, 2022Updated 3 years ago
- Getting started with Kubeflow (machine learning toolkit for Kubernetes) via Microk8s and Multipass☆18Nov 20, 2018Updated 7 years ago
- Easy scripting for DrRacket☆18Feb 21, 2026Updated 2 weeks ago
- ☆19Dec 8, 2015Updated 10 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆201Mar 29, 2017Updated 8 years ago
- an implementation of stuck macros☆152Dec 24, 2025Updated 2 months ago
- Astonishingly simple, disciplined, testable effects☆22Feb 28, 2026Updated last week
- multi-shot continuations in OCaml☆51Nov 21, 2025Updated 3 months ago
- Useless embedded DSL and monadic interpreter for BASIC.☆42Apr 30, 2015Updated 10 years ago
- GNU bash backend for Idris☆52Feb 14, 2019Updated 7 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Jun 21, 2022Updated 3 years ago
- Collection of packages to codegen types and serialization to communicate between ts and rust☆24Jan 3, 2023Updated 3 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆61Apr 2, 2025Updated 11 months ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆100Oct 1, 2025Updated 5 months ago
- QA dashboard for DV360 advertisers☆13Jan 20, 2021Updated 5 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 6 months ago
- Embedded C code generation DSL for Haskell.☆29Mar 25, 2019Updated 6 years ago
- Browsix is a Unix-like operating system for the browser.☆3,195Mar 27, 2022Updated 3 years ago
- All the Transient libraries☆44Feb 3, 2026Updated last month
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Nov 29, 2025Updated 3 months ago
- A backwards-compatible, modern replacement for the Prelude.☆22Jan 20, 2017Updated 9 years ago
- Javascript implementation of Scheme's numeric tower☆30Mar 6, 2013Updated 13 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- Browser extension to integrate Grafana dashboards with Weave Cloud☆10Feb 8, 2021Updated 5 years ago