bmitc / nand2tetrisView external linksLinks
Original course HDL solutions, F# implementations for the software stack, and VHDL implementations for the hardware stack for the nand2tetris course and The Elements of Computing Systems book.
☆52Aug 30, 2023Updated 2 years ago
Alternatives and similar repositories for nand2tetris
Users that are interested in nand2tetris are comparing it to the libraries listed below
Sorting:
- F# implementation of the ray tracer found in The Ray Tracer Challenge by Jamis Buck☆22Oct 1, 2023Updated 2 years ago
- An F# implementation of Bulma layered on top of Feliz.Engine☆13Jan 24, 2023Updated 3 years ago
- ☆17Mar 21, 2025Updated 10 months ago
- FluentUI (React) to Fable bindings☆14Feb 20, 2023Updated 2 years ago
- Sokoban game for iOS and Android written in F# using Xamarin Fabulous framework☆20Sep 22, 2018Updated 7 years ago
- Visual Studio Linter for F#☆34Jun 13, 2021Updated 4 years ago
- Lightweight System.IO.Path and System.IO.File for Fable - https://www.nuget.org/packages/Fable.System.IO/☆23Oct 10, 2023Updated 2 years ago
- Provides a compile-time transformation to generate web components from react components☆19Jan 26, 2021Updated 5 years ago
- A dead-simple node version manager written in F#☆20Jun 23, 2025Updated 7 months ago
- Quill rich text editor extension for Feliz☆20Mar 24, 2023Updated 2 years ago
- A dotnet new template for Giraffe web applications.☆39Aug 19, 2024Updated last year
- OpenAPI integration for Falco.☆11Dec 22, 2025Updated last month
- ☆37Dec 13, 2022Updated 3 years ago
- Desktop App to analyze usage of disk space.☆21May 14, 2022Updated 3 years ago
- A dotnet CLI template for Saturn projects.☆26Jul 15, 2024Updated last year
- Fable web site☆22Jan 5, 2026Updated last month
- SoManyFeeds in F# using .NET and Giraffe on the backend, and HTMX on the frontend.☆21Feb 3, 2026Updated last week
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Giraffe for Fable.Python☆12Updated this week
- OpenXML Explorer extension for VS Code☆24Updated this week
- ☆45Aug 14, 2024Updated last year
- A tree-sitter grammar for F#, derived from the [spec](https://fsharp.org/specs/language-spec/4.1/FSharpSpec-4.1-latest.pdf)☆44Feb 13, 2023Updated 3 years ago
- A lightweight alternative template of SAFE for happy cross-IDE full-stack F# development☆97Jan 1, 2023Updated 3 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆45Jun 26, 2017Updated 8 years ago
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 9 months ago
- A Fable React hook library for validating UI inputs and displaying error messages☆16Feb 13, 2025Updated last year
- Tiger Compiler implemented in F#☆11Jul 11, 2021Updated 4 years ago
- Fintie Sets in Cubical Agda☆12Aug 30, 2019Updated 6 years ago
- Bulma UI (https://bulma.io) wrapper for amazing Feliz DSL☆73Dec 26, 2025Updated last month
- A library that allows using Htmx attributes with Feliz.ViewEngine☆25Nov 3, 2021Updated 4 years ago
- Basic F# support for (Neo)Vim 🔷🦔☆42Apr 6, 2024Updated last year
- Static UWP views for elmish programs running with the Uno Platform☆27Dec 30, 2020Updated 5 years ago
- It's easy to write nextjs App with Fable☆12Oct 25, 2023Updated 2 years ago
- Graph database in Entity Framework☆13Jan 28, 2015Updated 11 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- A bullet journal built with Falco☆13Mar 28, 2021Updated 4 years ago
- .NET Core Global Tool using e.g. DbUp to apply Db migrations for SQL-Server☆11Apr 11, 2019Updated 6 years ago
- Feliz React Binding for ReactFlow☆33Jan 20, 2025Updated last year