Alternatives and similar repositories for yash:

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

• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• hm-riscv / vscode-riscv-venus
  VS Code extension with the Venus RISC-V simulator
  ☆70Updated 6 months ago
• ksco / rvld
  Learn how to write a minimal working linker from scratch
  ☆101Updated 10 months ago
• kvakil / venus
  RISC-V instruction set simulator built for education
  ☆194Updated 2 years ago
• z4yx / vivado-docker
  Dockerfile with Vivado for CI
  ☆28Updated 4 years ago
• Light-of-Hers / CCTV
  C++ Compile-Time eValuator for scheme
  ☆21Updated 4 years ago
• pdlan / static-regex
  compile-time DFA-based regular expression engine with C++ template and constexpr
  ☆55Updated 5 years ago
• riscv-software-src / homebrew-riscv
  homebrew (macOS) packages for RISC-V toolchain
  ☆331Updated 4 months ago
• lynzrand / chigusa
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Updated 4 years ago
• vivekmalneedi / veridian
  A SystemVerilog Language Server
  ☆156Updated 2 months ago
• flaribbit / typst-tetris
  Play tetris in typst
  ☆11Updated last year
• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated last month
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆408Updated 2 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆136Updated 8 months ago
• 61c-teach / venus
  RISC-V instruction set simulator built for education
  ☆25Updated 2 years ago
• Enter-tainer / typst-ws
  preview your typst document in instant
  ☆28Updated last year
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 2 months ago
• fabianschuiki / moore
  A hardware compiler based on LLHD and CIRCT
  ☆256Updated last year
• jameslzhu / riscv-card
  An unofficial assembly reference for RISC-V.
  ☆473Updated 3 months ago
• BenjaminSchaaf / turning-complete-riscv
  Rust support for a CPU I made
  ☆92Updated 2 years ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆161Updated this week
• chipsalliance / chisel-nix
  Nix template for the chisel-based industrial designing flows.
  ☆35Updated this week
• thomasrussellmurphy / istyle-verilog-formatter
  Open source implementation of a Verilog formatter
  ☆179Updated 3 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆365Updated this week
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆27Updated 7 months ago
• hitsz-compiler-lyk / ssyc
  2022 年毕昇杯 萝杨空队 参赛项目
  ☆12Updated last year
• SkiFire13 / typst-prooftree
  Prooftrees for Typst - Inspired by Latex's bussproofs
  ☆19Updated 10 months ago
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆142Updated 7 months ago
• rami3l / plfl
  Learn Lean 4 with PLFA proofs.
  ☆55Updated 10 months ago