An IDE for JavaScript, without the "bad parts".
☆29Jun 16, 2023Updated 3 years ago
Alternatives and similar repositories for Ocelot
Users that are interested in Ocelot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 7 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆15Oct 8, 2026Updated last month
- An extension to the Java type system to catch badly-behaving builder patterns☆12Feb 13, 2023Updated 3 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Easy scripting for DrRacket☆19Aug 11, 2026Updated 3 months ago
- 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.
- ☆29Mar 16, 2023Updated 3 years ago
- Hierarchical Delta Debugging Framework☆60Aug 24, 2026Updated 2 months ago
- Website for serving Pyret to folks.☆27Nov 5, 2026Updated last week
- ☆10Apr 28, 2025Updated last year
- ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.☆13Mar 1, 2024Updated 2 years ago
- JReduce is a tool to reduce Java ByteCode☆13Oct 12, 2021Updated 5 years ago
- A small (2Kb zipped minified) tree-shakeable functional library to manipulate generic rose (a.k.a multi-way) trees☆14Feb 17, 2023Updated 3 years ago
- ☆10Apr 6, 2017Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆105Mar 21, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Generic bind forms for Racket☆12Aug 21, 2023Updated 3 years ago
- Archived legacy Filibuster repository. New Filibuster release in preparation: https://filibuster.cloud. Filibuster application corpus.☆10Sep 28, 2022Updated 4 years ago
- a Racket formatter that only fixes whitespaces☆12Jun 6, 2026Updated 5 months ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 8 years ago
- Semantic Crash Bucketing☆17Sep 8, 2020Updated 6 years ago
- ☆10Apr 28, 2019Updated 7 years ago
- The Prettiest Printer☆34Feb 14, 2024Updated 2 years ago
- ☆12Jun 14, 2023Updated 3 years ago
- Embed Python in Racket!☆12Feb 1, 2022Updated 4 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.
- Bechmarking Java's instanceof and its alternatives☆16May 11, 2020Updated 6 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 7 years ago
- Convert Thai constitution from PDF to plaintext and correct encoding glitches☆11Feb 3, 2018Updated 8 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 7 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆14Oct 2, 2026Updated last month
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- An online playground for Racket.☆13May 11, 2021Updated 5 years ago
- ☆12Jun 7, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 4 years ago
- Beep the PC speaker☆11Nov 9, 2022Updated 4 years ago
- Faceted execution in Racket☆12Sep 11, 2018Updated 8 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 6 years ago
- Calling a python function from SV, then have this python function call SV tasks. Useful for coding register sequences in python☆12Sep 23, 2022Updated 4 years ago
- ☆20Updated this week
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
Are these results useful?