Language definitions and styles for listings in LaTeX.
☆67Aug 25, 2025Updated last year
Alternatives and similar repositories for lstlangs
Users that are interested in lstlangs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Awesome LLM for Cybersecurity☆12Nov 16, 2024Updated last year
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆23May 7, 2021Updated 5 years ago
- Sensei is a simple command-line tool to open documentation for any crate in crates.io.☆29Feb 12, 2026Updated 7 months ago
- ☆10Oct 6, 2023Updated 3 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Nov 8, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Dominator Tree LLVM Pass to Test Satisfiability☆46Mar 14, 2016Updated 10 years ago
- Yet another Bittorrent filesystem based on FUSE☆18May 31, 2017Updated 9 years ago
- WE MOVED TO CODEBERG! A Ghidra server container that works!☆11Dec 8, 2025Updated 10 months ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆53Jun 15, 2026Updated 3 months ago
- vRTLmod modifies Verilator generated RTL simulation code for faul-injection purposes. It transforms source code with the help of LLVM/C…☆20Mar 28, 2026Updated 6 months ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- Parser and printer for the opam file syntax☆16Jul 3, 2025Updated last year
- An architecture independent binary analysis tool for fingerprinting functions through NLP☆17Updated this week
- The RAS Error-record Register Interface provides a specification to augment RAS features in RISC-V SOC hardware to standardize reporting …☆11Oct 2, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆36Mar 13, 2026Updated 6 months ago
- ☆15Jun 14, 2022Updated 4 years ago
- Weekly RISC-V Newsletter☆28Nov 29, 2018Updated 7 years ago
- Pre-built bitcode files for the Linux kernel☆22Sep 18, 2019Updated 7 years ago
- A parallel find tool for Linux☆16Dec 20, 2025Updated 9 months ago
- A Knowledge Graph for Open Source Security Tools☆18Aug 15, 2023Updated 3 years ago
- Kafka CLI with Powershell flavor☆17Mar 5, 2019Updated 7 years ago
- Script that allows one to easily generate a custom Live Fedora ISO image by customizing an existing Live Fedora image.☆13Nov 6, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- function identification signatures☆12Apr 26, 2021Updated 5 years ago
- Roadmap to Learning Computer Science Philosophy☆10Nov 15, 2021Updated 4 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- A tool for synthesis of Rust code, very early prototype☆13Jan 9, 2024Updated 2 years ago
- An official Rizin package manager☆34Aug 24, 2026Updated last month
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- Adaptive sampling of parametric and implicit curves☆13Nov 12, 2021Updated 4 years ago
- Common dependency management for various Trail of Bits C++ codebases☆35Jun 17, 2024Updated 2 years ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆67Oct 3, 2026Updated last week
- Pure OCaml library to read and write tar files☆55Jun 24, 2026Updated 3 months ago
- analisis hidrologi menggunakan python☆10Apr 18, 2024Updated 2 years ago
- PIRA - Automatic Instrumentation Refinement☆18Mar 28, 2024Updated 2 years ago
- A platform agnostic driver to interface with the MAX7219 (LED display driver)☆17Mar 4, 2025Updated last year
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆26May 31, 2023Updated 3 years ago