A web-based IDE for https://nand2tetris.org
☆233May 16, 2026Updated 4 months ago
Alternatives and similar repositories for web-ide
Users that are interested in web-ide are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆30Feb 26, 2015Updated 11 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 8 years ago
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Jul 20, 2023Updated 3 years ago
- Forth system by C☆23Oct 16, 2019Updated 6 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17Jun 6, 2023Updated 3 years ago
- Computer Architecture -VLSI -Verilog Codes-Xilinx-Irsim☆14May 8, 2021Updated 5 years ago
- HDL files, Assembly files, Assembler, VMTranslator, and Compiler for Jack language and Hack computer, as well as Jack platform games.☆16May 14, 2021Updated 5 years ago
- Computer implementation as described in "The Elements of Computing Systems"☆453Sep 6, 2022Updated 4 years ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆45Updated this week
- ☆21Updated this week
- NAND is a logic simulator suite made entirely from NAND gates☆597Jun 24, 2026Updated 2 months ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 5 years ago
- All projects for Nand2Teris☆169Feb 15, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 9 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 2 years ago
- Common Lisp macros to create web framework based on HTMX☆14May 28, 2024Updated 2 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- Simple forth environment written in 2002☆12Dec 17, 2015Updated 10 years ago
- A windowed convolution plugin in JUCE☆10Feb 4, 2019Updated 7 years ago
- Unofficial Python client for Pinksale.☆11May 28, 2024Updated 2 years ago
- Elm Set built on top of AnyDict☆11Aug 12, 2024Updated 2 years ago
- An ANTLR4 grammar for Rust.☆14Jan 4, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- generate custom supreme box logos☆13Nov 28, 2017Updated 8 years ago
- Work-in-progress vector search SQLite extension that runs anywhere.☆10Jul 27, 2024Updated 2 years ago
- Lisp bindings for the IPFS HTTP API. (🪞 Mirror)☆11May 30, 2024Updated 2 years ago
- Procedural landscape☆20May 24, 2017Updated 9 years ago
- Common Lisp RDF/XML parser☆18Jul 10, 2014Updated 12 years ago
- print_f64 implementation purely in assembly without using any 3rd party dependencies including libc, libm, etc.☆11Feb 1, 2021Updated 5 years ago
- Lightweight Scala.js promise implementation that does not violate parametricity☆17Jun 4, 2020Updated 6 years ago
- prototyping logic programming in Scala☆41Mar 25, 2022Updated 4 years ago
- ☆11Jun 19, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Example code for using SPARQL and 4store RDF databases from Common Lisp (in this case Steel Bank Common Lisp, but most others should work…☆14Apr 23, 2011Updated 15 years ago
- ☆15Oct 2, 2025Updated 11 months ago
- Dotty Generic Derivation Examples☆28Feb 24, 2021Updated 5 years ago
- Parallel EVM explorer☆15Mar 19, 2025Updated last year
- ☆10Apr 18, 2022Updated 4 years ago
- GNU Hyperbole: The Everyday Hypertextual Information Manager☆14Sep 8, 2026Updated last week
- 2D/3D geometry package for Elm☆11Jul 1, 2018Updated 8 years ago