CircuitCoder / MeowThink
A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat
☆17Updated 3 years ago
Alternatives and similar repositories for MeowThink:
Users that are interested in MeowThink are comparing it to the libraries listed below
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Relaxed Rust (for cats)☆16Updated 5 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 3 years ago
- ☆10Updated last year
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- RV32I by cats☆17Updated last year
- A hardware accelerated IP packet forwarder running on programmable ICs☆16Updated 2 years ago
- ☆11Updated 10 months ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- User-mode trap-and-emulate hypervisor for RISC-V☆13Updated 3 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- Backend & Frontend for JieLabs☆22Updated 2 years ago
- Warning: 🕳 ahead!☆16Updated 5 years ago
- CIDR union / subtraction☆14Updated last month
- Yet Another AsYnc runtime for RuSt.☆34Updated 5 years ago
- Tex source for talk slide.☆10Updated 4 years ago
- Toy ELF dynlinker & interp☆10Updated 9 months ago
- ☆17Updated 2 years ago
- Convert shared libraries into relocatable objects☆10Updated last year
- ☆24Updated last year
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- OS Tutorial Summer of Code 2020☆19Updated 2 years ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Updated 5 years ago
- A router IP written in Verilog.☆13Updated 5 years ago
- My DAC '21 work open-sourced.☆14Updated 4 years ago
- Compile Time RapidJSON: A compile time C++ header only JSON library without bloating yet another hand-crafted JSON parser based on RapidJ…☆15Updated 4 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 2 years ago
- ☆22Updated last year