Alternatives and similar repositories for saki-dev

Users that are interested in saki-dev are comparing it to the libraries listed below

• KirisameMagicShop / kirisamemagicshop.github.io

  View on GitHub
  ☆10May 27, 2025Updated 8 months ago
• nyusemantics / LambdaCalculatorPublic

  View on GitHub
  ☆18Aug 30, 2022Updated 3 years ago
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• moonbitlang / python.mbt

  View on GitHub
  Manipulate Python Objects in Moonbit!
  ☆29Jan 6, 2026Updated last month
• CoqHott / logrel-coq

  View on GitHub
  Logical Relation for MLTT in Coq
  ☆29Jan 14, 2026Updated 3 weeks ago
• ShingZhanho / ENGG1340-Project-25Spring

  View on GitHub
  The repository for HKU ENGG1340 Group Project (24/25 Semester 2).
  ☆10Jun 22, 2025Updated 7 months ago
• anqur / lyzh

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Feb 7, 2025Updated last year
• Glavo / JetBrains-IDE-Multiarch

  View on GitHub
  JetBrains IDEs for Linux RISC-V 64/LoongArch64
  ☆48Jan 1, 2026Updated last month
• fossi-foundation / nix-eda

  View on GitHub
  Nix flake for more up-to-date versions of EDA tools
  ☆17Updated this week
• EnhancedJax / NotesAtHKU

  View on GitHub
  Open, hand-typed notes by HKU students, for HKU students.
  ☆18Sep 5, 2025Updated 5 months ago
• sahanbull / VLE-Dataset

  View on GitHub
  ☆11Aug 23, 2023Updated 2 years ago
• zvms / zvms4-frontend

  View on GitHub
  The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.
  ☆11Feb 5, 2026Updated last week
• rocq-community / graph-theory

  View on GitHub
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆41Oct 30, 2025Updated 3 months ago
• yzyzsun / CP-next

  View on GitHub
  The Next Generation of Compositional Programming
  ☆56Jan 27, 2026Updated 2 weeks ago
• Yu-zh / Tuzi

  View on GitHub
  A terminal text editor written in MoonBit
  ☆11Apr 7, 2025Updated 10 months ago
• colmugx / moonbit-zig-experimental

  View on GitHub
  🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.
  ☆12Apr 7, 2025Updated 10 months ago
• cyyself / m1-pmu-gen

  View on GitHub
  Generate Linux Perf event tables for Apple Silicon
  ☆17Dec 16, 2025Updated last month
• mikhail-j / libc_hsearch_r

  View on GitHub
  Portable C standard library re-entrant hash table search functions.
  ☆11Sep 2, 2021Updated 4 years ago
• moonbit-community / moonbit-arduino

  View on GitHub
  ☆11Mar 20, 2025Updated 10 months ago
• TinyTapeout / tt-gds-action

  View on GitHub
  Tiny Tapeout GDS Action (using OpenLane)
  ☆16Nov 24, 2025Updated 2 months ago
• nk2028 / ToMiddleChinese

  View on GitHub
  A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts
  ☆11Mar 13, 2023Updated 2 years ago
• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated last month
• plfa / plfl

  View on GitHub
  Programming Language Foundations in Lean
  ☆48Jul 22, 2025Updated 6 months ago
• msyksphinz-self / minimal-diplomacy

  View on GitHub
  Example of Chisel3 Diplomacy
  ☆11Feb 23, 2022Updated 3 years ago
• source-academy / pie-slang

  View on GitHub
  Implementation of Pie, following The Little Typer
  ☆18Jan 31, 2026Updated last week
• CODA-Team / TaiWei

  View on GitHub
  Taiwei-3D-Flow
  ☆31Updated this week
• ShingZhanho / COMP2120-Notes

  View on GitHub
  Revision notes for the course HKU COMP2120 - Computer Organisation written in LaTeX.
  ☆12May 22, 2025Updated 8 months ago
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Dec 6, 2025Updated 2 months ago
• OSCPU / archbench

  View on GitHub
  ☆11Dec 23, 2025Updated last month
• chipsalliance / chisel-nix

  View on GitHub
  Nix template for the chisel-based industrial designing flows.
  ☆52Apr 23, 2025Updated 9 months ago
• OpenXiangShan / Utility

  View on GitHub
  ☆15Feb 5, 2026Updated last week
• moonbit-community / moonbit-workflow

  View on GitHub
  ☆13Oct 28, 2025Updated 3 months ago
• nosoop / tab-deduper

  View on GitHub
  WebExtension to clean up duplicate tabs.
  ☆14Mar 5, 2025Updated 11 months ago
• iscas-tis / ChiRVFormal

  View on GitHub
  Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.
  ☆18Feb 3, 2026Updated last week
• htfab / microlane

  View on GitHub
  Self-contained RTL to GDS flow for simple chip designs
  ☆49Jan 27, 2026Updated 2 weeks ago
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Feb 6, 2026Updated last week
• Zen-and-the-Art-of-Balanced-Bike / QueFOC

  View on GitHub
  无刷电机驱动 程序+电路板 FOC for BLDC motor, code and PCB project
  ☆14Jan 27, 2024Updated 2 years ago
• moonbit-community / moonbit-overlay

  View on GitHub
  Reproducible nix overlay of binary distributed MoonBit toolchains and LSP
  ☆15Dec 23, 2025Updated last month
• unicode-org / uk-source-ideographs

  View on GitHub
  UK-Source Ideographs
  ☆19Sep 9, 2025Updated 5 months ago