dramforever / finlogLinks
Compiling finite generators to digital logic. WIP
☆14Updated 4 years ago
Alternatives and similar repositories for finlog
Users that are interested in finlog are comparing it to the libraries listed below
Sorting:
- Tex source for talk slide.☆10Updated 4 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆17Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 3 years ago
- ☆23Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- Yet Another AsYnc runtime for RuSt.☆34Updated 5 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 months ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- Booting multi-processors on x86 bare-metal.☆11Updated 3 years ago
- Very Naive MIPS CPU using Clash☆29Updated 3 years ago
- An educational game about Wanli Period of the Ming Dynasty☆8Updated 5 years ago
- RUst way for Reuse Analysis☆11Updated last year
- Relaxed Rust (for cats)☆16Updated 5 years ago
- Warning: 🕳 ahead!☆16Updated 5 years ago
- A hand-written recursive decent Verilog parser.☆11Updated 2 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
- Superscalar RISC-V processor written in Clash.☆34Updated 2 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆29Updated 2 months ago
- ☆11Updated 2 months ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- ☆24Updated this week
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Personal reading notes (zh-CN)☆9Updated 11 months ago
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 4 months ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Updated 6 years ago