arata-nvm / tablegen-lspLinks
A language server for TableGen and a VSCode extension
☆19Updated this week
Alternatives and similar repositories for tablegen-lsp
Users that are interested in tablegen-lsp are comparing it to the libraries listed below
Sorting:
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Updated 4 months ago
- C++ Compiler☆21Updated 3 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 3 years ago
- Refinement type checking and inference tool for Rust☆15Updated last month
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- A benchmark for standalone WebAssembly☆34Updated last year
- Manipulate LLVM-IR in Pure Rust☆223Updated 3 years ago
- Experimental AArch64 Emulator Written in C++☆39Updated 2 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆98Updated last month
- In-memory x86-64 assembler for JIT compiler.☆77Updated 6 months ago
- An operating system written in Rust☆53Updated 2 months ago
- ☆30Updated 2 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Updated 4 years ago
- A proof-of-concept microkernel that runs WebAssembly natively.☆70Updated last year
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation. (on Milk-V Megrez)☆53Updated last week
- a small self-hosting C compiler.☆14Updated 2 years ago
- ☆20Updated last month
- Experimental MLIR Rust compiler☆25Updated 2 years ago
- Small ONNX inference runtime written in Rust☆99Updated 4 months ago
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 7 months ago
- LL(k) and LALR(1) parser generator for Rust☆230Updated this week
- A toy C Compiler implemented by Rust.☆19Updated 2 years ago
- ☆24Updated 3 years ago
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆48Updated last month
- An experimental optimizing compiler for Bril☆78Updated this week
- RISC-V instruction decoder written in Rust.☆17Updated 2 weeks ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Updated last year
- Define compiler intermediate representation usable by external tools☆87Updated last month
- Totsugekitai DeBugger☆21Updated last year
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆22Updated 5 months ago