arata-nvm / tablegen-lspLinks
A language server for TableGen and a VSCode extension
☆17Updated last week
Alternatives and similar repositories for tablegen-lsp
Users that are interested in tablegen-lsp are comparing it to the libraries listed below
Sorting:
- C++ Compiler☆21Updated 3 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Updated 2 months ago
- A proof-of-concept microkernel that runs WebAssembly natively.☆69Updated last year
- Experimental AArch64 Emulator Written in C++☆38Updated 2 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 3 years ago
- Refinement type checking and inference tool for Rust☆13Updated this week
- ☆30Updated 2 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- An operating system written in Rust☆51Updated last month
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆51Updated last month
- a small self-hosting C compiler.☆14Updated 2 years ago
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆47Updated 2 weeks ago
- Manipulate LLVM-IR in Pure Rust☆223Updated 3 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆96Updated this week
- ☆24Updated 2 years ago
- Let's write RISC-V CPU in Veryl!☆53Updated 3 months ago
- A benchmark for standalone WebAssembly☆34Updated last year
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆19Updated 4 months ago
- RISC-V instruction decoder written in Rust.☆15Updated 2 months ago
- A programming language☆70Updated last year
- rv32/64imac emulator☆32Updated last year
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- LL(k) and LALR(1) parser generator for Rust☆227Updated this week
- In-memory x86-64 assembler for JIT compiler.☆76Updated 5 months ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆12Updated 6 months ago
- Small ONNX inference runtime written in Rust☆99Updated 3 months ago
- ☆14Updated 3 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Updated 4 years ago
- Unofficial reference Wasm interpreter written in C☆36Updated last year
- RustHorn: A CHC-based automated verifier for Rust☆86Updated 5 months ago