Alternatives and similar repositories for Violet:

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

• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• rcore-os / x86-smpboot
  Booting multi-processors on x86 bare-metal.
  ☆11Updated 3 years ago
• dramforever / ixayoi
  (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog
  ☆12Updated 3 years ago
• rustcc / GEFS
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Updated 4 years ago
• cyyself / m1tso-linux
  Apple Silicon TSO Enabler for Linux
  ☆16Updated last year
• rustsbi / serde-device-tree
  Serialize & deserialize device tree binary using serde
  ☆20Updated 3 weeks ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• skyzh / mips-simulator
  💻 A 5-stage pipeline MIPS CPU design in Haskell.
  ☆36Updated 4 years ago
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 3 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆37Updated 4 months ago
• Harry-Chen / rust-mips
  Rust library for low-level abstraction of MIPS processors
  ☆31Updated 4 years ago
• thaliaarchi / notes
  A notebook on compilers, programming languages, and other topics.
  ☆14Updated 2 weeks ago
• LemonHX / ioring-rs
  ioring wrapper for windows-rs
  ☆21Updated 2 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 5 years ago
• rcore-os / aCore
  Asynchronous OS kernel written in Rust.
  ☆34Updated 4 years ago
• z4yx / vivado-docker
  Dockerfile with Vivado for CI
  ☆28Updated 4 years ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• SkiFire13 / typst-prooftree
  Prooftrees for Typst - Inspired by Latex's bussproofs
  ☆19Updated 11 months ago
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆58Updated this week
• clash-lang / clash-starters
  Projects to get started with Clash
  ☆28Updated 2 months ago
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆13Updated 4 months ago
• sattlerc / hott-reading-course
  Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …
  ☆14Updated 11 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last week
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated this week
• rcore-os / riscv-sbi-rt
  A mininal runtime / startup for Supervisor Binary Interface (SBI) on RISC-V.
  ☆18Updated 3 years ago
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆12Updated last year
• MarisaKirisame / MemoryBalancer
  ☆23Updated last year
• adamwalker / clash-riscv
  A RiscV processor implementing the RV32I instruction set written in Clash
  ☆53Updated 6 years ago