A web-based IDE for https://nand2tetris.org
☆232May 16, 2026Updated 3 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:
- ☆29Feb 26, 2015Updated 11 years ago
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 3 years ago
- Nand2Tetris Software Suite - hardware simulator and CPU and VM emulators☆101Mar 23, 2024Updated 2 years ago
- https://adventofcode.com/☆15Jan 9, 2026Updated 7 months ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years 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.
- 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
- ☆17Jun 6, 2023Updated 3 years ago
- Welcome to the Aleo Network community.☆19May 12, 2026Updated 3 months ago
- Regionalized Value State Dependence Graph written in Rust☆12Nov 17, 2019Updated 6 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
- Assembler on your Mac? Yes We Can ! A quick tutorial together with a bunch of sample assembler programs for the Mac.☆16May 19, 2017Updated 9 years ago
- All projects for Nand2Teris☆168Feb 15, 2019Updated 7 years 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.
- A collection of Most Asked Frontend Machine Coding Interview Questions in React JS☆18Nov 2, 2025Updated 9 months ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 9 years ago
- Fortran 2003 wrappers for POSIX threads☆12Oct 13, 2017Updated 8 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 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 CPU simulator framework built around, and to support the other tools under, the constraints of the first principles of computing projec…☆16Jun 15, 2026Updated 2 months ago
- Node.js fetch() garbage collection test☆12Mar 17, 2024Updated 2 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.
- Elm Set built on top of AnyDict☆11Aug 12, 2024Updated 2 years ago
- Docker image for redbean from the "scratch" container☆12Jul 25, 2022Updated 4 years ago
- ☆10Sep 26, 2017Updated 8 years ago
- An ANTLR4 grammar for Rust.☆14Jan 4, 2018Updated 8 years ago
- Repository for building optimized Solana native program thinking in low CU is the best☆16Dec 4, 2024Updated last year
- 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
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 7 years ago
- The fastest way to build a language☆41Jan 4, 2022Updated 4 years ago
- GNU Hyperbole: The Everyday Hypertextual Information Manager☆14Updated this week
- 2D/3D geometry package for Elm☆11Jul 1, 2018Updated 8 years ago