A simple scala-like dependent type programming language
☆23Apr 18, 2025Updated 10 months ago
Alternatives and similar repositories for saki-dev
Users that are interested in saki-dev are comparing it to the libraries listed below
Sorting:
- ☆10May 27, 2025Updated 9 months ago
- ☆22Feb 13, 2024Updated 2 years ago
- Manipulate Python Objects in Moonbit!☆29Jan 6, 2026Updated 2 months ago
- Logical Relation for MLTT in Coq☆30Jan 14, 2026Updated last month
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 8 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Feb 7, 2025Updated last year
- Deprecated☆39Nov 2, 2025Updated 4 months ago
- JetBrains IDEs for Linux RISC-V 64/LoongArch64☆48Jan 1, 2026Updated 2 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Feb 26, 2026Updated last week
- GPT-5 and Opus 4.1 implementations of one-shot coding examples☆17Feb 6, 2026Updated last month
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Feb 26, 2026Updated last week
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 11, 2026Updated 3 weeks ago
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated last month
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago
- ☆11Mar 20, 2025Updated 11 months ago
- ☆11Dec 23, 2025Updated 2 months ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated 2 months ago
- ☆14Oct 30, 2024Updated last year
- Iosevka Charon is a quasi-proportional font excellent for technical writing and dense UI. Iosevka Charon Mono is a true monospace font tu…☆21Feb 20, 2026Updated last week
- HKU Moodle client that helps fetch deadlines, set reminders, view courses and so on, renovated and rewritten in Flutter.☆14Feb 8, 2025Updated last year
- Machine Instruction for Teyvat Automaton☆46Jul 29, 2024Updated last year
- Revision notes for the course HKU COMP2120 - Computer Organisation written in LaTeX.☆12May 22, 2025Updated 9 months ago
- Example of Chisel3 Diplomacy☆11Feb 23, 2022Updated 4 years ago
- Programming Language Foundations in Lean☆48Jul 22, 2025Updated 7 months ago
- Implementation of Pie, following The Little Typer☆19Feb 26, 2026Updated last week
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 2 years ago
- Portable C standard library re-entrant hash table search functions.☆11Sep 2, 2021Updated 4 years ago
- Nix template for the chisel-based industrial designing flows.☆52Apr 23, 2025Updated 10 months ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆15Feb 26, 2026Updated last week
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated last month
- Nix flake for more up-to-date versions of EDA tools☆20Updated this week
- An experimental game engine in MoonBit.☆21Updated this week
- Code from CS152 lectures☆14Feb 27, 2026Updated last week
- ☆13Oct 28, 2025Updated 4 months ago
- Porting FreeRTOS to a RISC-V based system on PYNQ-Z2☆11Dec 26, 2024Updated last year
- MIPS R10000 architecture simulator with C++☆10Jun 8, 2023Updated 2 years ago