☆13Apr 17, 2023Updated 3 years ago
Alternatives and similar repositories for crusts
Users that are interested in crusts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆26May 31, 2023Updated 3 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- A consumer + rpc interface for asynchronous task execution☆16Updated this week
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- astyle mirror (http://astyle.sourceforge.net/)☆11Mar 12, 2018Updated 8 years ago
- mitigation script by disabling ipv6 of all interfaces☆13Aug 15, 2024Updated 2 years ago
- ☆20Mar 10, 2022Updated 4 years ago
- Vulnerability database generator: a submodule for VUDDY☆14May 28, 2024Updated 2 years ago
- A minimal, configurable and highly optimized markdown2html compiler, supports macros, watch mode, syntax highlighting, latex math and liv…☆14Aug 10, 2023Updated 3 years ago
- MeowTools - maybe some useful tools for CTFers / programmers☆20Nov 27, 2022Updated 3 years ago
- Swift-to-TypeScript syntax conversion.☆26Aug 11, 2015Updated 11 years ago
- ☆14Jul 23, 2021Updated 5 years ago
- A list of source-to-source compilers for various languages☆60Jul 26, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- My computer daily study notes☆12Mar 11, 2025Updated last year
- Bitclamp allows arbitrary files to be permanently and anonymously published into the Bitcoin and Dogecoin blockchains.☆14Jan 12, 2017Updated 9 years ago
- fnm -> this -> load-env = use fnm in nushell☆12Apr 14, 2025Updated last year
- 快速对自己项目中引入的第三方开源库进行1day patch检索,patch数据每天晚上11点更新☆21Jan 27, 2022Updated 4 years ago
- An app for manual mode on Sony Alpha 6000 cameras☆13Sep 1, 2019Updated 6 years ago
- 🚀 A simple platform and shell agnostic installer and version manager for Go.☆11Jan 4, 2025Updated last year
- create arch, rpm and debian packages from npm☆10Updated this week
- ☆13Apr 17, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Fast and Scalable Data Structures for Scientific and Quantitative Research.☆12Jan 3, 2019Updated 7 years ago
- PHP Helm Processor is a process wrapper for Kubernetes' Helm v3 CLI. You can run programmatically Helm v3 commands, directly from PHP, wi…☆13Feb 16, 2026Updated 6 months ago
- 快来生成你的浏览记录年度总结!☆18Dec 12, 2024Updated last year
- ☆12Jul 4, 2020Updated 6 years ago
- SIMD aligned data structures to work with `std::simd`.☆12Dec 14, 2024Updated last year
- ☆15Jan 10, 2024Updated 2 years ago
- mhv is a minimalist hexadecimal viewer.☆11Jan 15, 2024Updated 2 years ago
- 🦖 A Compiler for PL/0 plus language (something like PASCAL)☆16Jan 10, 2025Updated 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.
- When I'm doing my job I'm trying to set my working place as efficient and useful as it's possible. Bash terminal is my main everyday prog…☆10May 19, 2023Updated 3 years ago
- LXDE keyboard and mouse configuration (recovered copy)☆13Feb 2, 2026Updated 6 months ago
- A ZIM to Markdown converter☆12May 31, 2014Updated 12 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago
- Template for cross-platform mobile app with native UIs and C++ core☆17Dec 3, 2021Updated 4 years ago
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 3 years ago
- Runflow is a tool to define and run workflows.☆14Jul 13, 2021Updated 5 years ago