Alternatives and similar repositories for nand2tetris

Users that are interested in nand2tetris are comparing it to the libraries listed below

• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆114Updated last month
• ChrisPritchard / MiniKnight
  A pixel-art platformer in F#, where you must fight your way to the portal, collecting coins and slaying orcs along the way!
  ☆54Updated 4 years ago
• tpetricek / elmish-spreadsheet
  Implement your own Excel 365 in 100 lines of F#!
  ☆181Updated 5 years ago
• AshleyF / FScheme
  Scheme interpreter in F#
  ☆55Updated 2 years ago
• tpetricek / tiny-systems-2023
  Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…
  ☆42Updated 4 months ago
• RussBaz / WebFrame
  F# framework for rapid prototyping with ASP.NET Core.
  ☆106Updated 3 years ago
• CraigStuntz / Lbac
  Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code
  ☆49Updated 11 years ago
• bmitc / the-ray-tracer-challenge-fsharp
  F# implementation of the ray tracer found in The Ray Tracer Challenge by Jamis Buck
  ☆22Updated 2 years ago
• mykolav / coollang-2020-fs
  Compiler for a small Scala subset
  ☆38Updated 9 months ago
• hodzanassredin / FsForth
  Implementation of forth programming language in fsharp for learning purposes.
  ☆21Updated 6 years ago
• fsprojects / FsGlfw3
  F# GLFW 3 Binding
  ☆10Updated 7 years ago
• nickcowle / Talks
  Repository of slides from various talks that I’ve given
  ☆18Updated 5 years ago
• CraigStuntz / TinyLanguage
  Intro to F# demo project
  ☆27Updated 7 years ago
• sergey-tihon / Tiger
  Tiger Compiler implemented in F#
  ☆11Updated 4 years ago
• tpetricek / basic
  Source code for a minimal Commodore 64 BASIC interpreter and the essay "The Lost Ways of Programming: Commodore 64 BASIC"
  ☆21Updated 3 years ago
• jackfoxy / DependentTypes
  experiments with @robkuz LimitedValue type
  ☆72Updated 6 years ago
• aardvark-platform / aardvark.docs
  Simple examples combining multiple packages provided by the aardvark platform. Each platform repository comes with separate examples -- h…
  ☆107Updated 2 months ago
• jack-pappas / facio
  Tools for building compilers, interpreters, and analysis tools in F#
  ☆45Updated 5 years ago
• jack-pappas / fsharp-logic-examples
  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
  ☆180Updated 9 years ago
• mrLSD / riscv-fs
  F# RISC-V Instruction Set formal specification
  ☆287Updated last year
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆39Updated 5 years ago
• mmanela / Flango
  Playing around with languages concepts like type inference, pratt parsing, parser combinators and immutability.
  ☆19Updated last year
• SaturnFramework / Saturn.Cli
  A dotnet CLI tool for Saturn projects providing code generation and scaffolding.
  ☆19Updated 3 years ago
• kekyo / TypeInferencer
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆35Updated 2 years ago
• zlatozar / TigerLanguage
  Appel's Tiger language implemented in F#
  ☆13Updated 4 years ago
• jack-pappas / fsharp-tapl
  Accompanying code for "Types and Programming Languages", ported to F#
  ☆55Updated 12 years ago
• bcarruthers / garnet-platformer
  Simple platformer demo using Garnet
  ☆16Updated 4 years ago
• tpetricek / nanospeak
  ☆17Updated 2 years ago
• jbevain / flispy
  A toy lisp interpreter in F# inspired by Norvig's lispy
  ☆13Updated 5 years ago
• d-edge / fasmi
  F# -> ASM disassembler
  ☆191Updated 2 years ago