CircuitCoder / MeowThinkLinks
A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat
☆16Updated 3 years ago
Alternatives and similar repositories for MeowThink
Users that are interested in MeowThink are comparing it to the libraries listed below
Sorting:
- Compiling finite generators to digital logic. WIP☆13Updated 5 years ago
- Relaxed Rust (for cats)☆14Updated 6 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 4 years ago
- RV32I by cats☆15Updated 2 years ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Updated 2 years ago
- ☆11Updated last year
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 5 years ago
- Yet Another AsYnc runtime for RuSt.☆33Updated 5 years ago
- A hand-written recursive decent Verilog parser.☆10Updated 3 years ago
- Dockerfile with Vivado for CI☆27Updated 5 years ago
- A router IP written in Verilog.☆12Updated 5 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 6 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Plagiarism detection tool in Rust (inspired by Stanford Moss)☆53Updated 3 months ago
- Run SPEC CPU 2017 benchmark on OpenHarmony/HarmonyOS NEXT☆31Updated 5 months ago
- ☆23Updated 2 years ago
- What if everything is a io_uring?☆16Updated 3 years ago
- My RV64 CPU (Work in progress)☆19Updated 2 years ago
- A naive verilog/systemverilog formatter☆21Updated 8 months ago
- Compile Time RapidJSON: A compile time C++ header only JSON library without bloating yet another hand-crafted JSON parser based on RapidJ…☆14Updated 5 years ago
- Tsinghua Advanced Networking Labs on FPGA☆38Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 3 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- OS Tutorial Summer of Code 2020☆19Updated 3 years ago
- User-mode trap-and-emulate hypervisor for RISC-V☆14Updated 3 years ago
- Convert shared libraries into relocatable objects☆10Updated last year
- ☆17Updated 3 years ago
- ☆22Updated last year
- Backend & Frontend for JieLabs☆22Updated 2 years ago
- 十分钟魔法练习 in OCaml☆34Updated 3 years ago