☆12Apr 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☆24May 31, 2023Updated 3 years ago
- MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grai…☆30Feb 28, 2023Updated 3 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Mar 3, 2026Updated 3 months ago
- RustTalk 是一档专注在 Rust 社区的程序员闲聊节目。微信公众号：RustTalk☆12Sep 14, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 9 months ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 2 years ago
- ☆114Jul 14, 2024Updated last year
- A small plugin to add markdown support for emoji markup☆14Sep 14, 2024Updated last year
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 3 months ago
- ☆20Mar 10, 2022Updated 4 years ago
- A minimal, configurable and highly optimized markdown2html compiler, supports macros, watch mode, syntax highlighting, latex math and liv…☆14Aug 10, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Storage agnostic incremental backups tools, building blocks for creating incremental backups utilities.☆28Dec 2, 2013Updated 12 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 3 months ago
- VSCode extension for Xonsh language support☆24Jun 2, 2026Updated last week
- 快速对自己项目中引入的第三方开源库进行1day patch检索,patch数据每天晚上11点更新☆21Jan 27, 2022Updated 4 years ago
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Jun 20, 2023Updated 2 years ago
- 📖 Create static websites with Next.js and the Podlite markup language.☆12Jun 1, 2026Updated last week
- An app for manual mode on Sony Alpha 6000 cameras☆13Sep 1, 2019Updated 6 years ago
- Bitclamp allows arbitrary files to be permanently and anonymously published into the Bitcoin and Dogecoin blockchains.☆14Jan 12, 2017Updated 9 years ago
- 🚀 A simple platform and shell agnostic installer and version manager for Go.☆11Jan 4, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆36Apr 13, 2026Updated last month
- 非付费的chatgpt3.5 用户也可以使用付费的chatgpt4 Webpilot 插件. Free ChatGPT 3.5 users can also use the paid ChatGPT 4 Webpilot plugin.☆19Jun 21, 2023Updated 2 years ago
- ☆20Mar 3, 2025Updated last year
- A plugin for Hatch that runs build scripts and saves their artifacts.☆26May 29, 2025Updated last year
- keep folders in tmpfs, sync to persist storage when processes are not using them☆11Dec 2, 2021Updated 4 years ago
- create arch, rpm and debian packages from npm☆10Updated this week
- 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 3 months ago
- Realtime MIDI IO with Ruby for Windows/Cygwin☆15May 12, 2022Updated 4 years ago
- ☆15Jan 10, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- SIMD aligned data structures to work with `std::simd`.☆11Dec 14, 2024Updated last year
- Homebrew formulae for formal methods☆37Jul 28, 2025Updated 10 months ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- Various tools for EBNF grammars☆11Feb 6, 2023Updated 3 years ago
- 快来生成你的浏览记录年度总结!☆18Dec 12, 2024Updated last year
- Little guide to show all the settings in clevo insyde_h20 uefi.☆22Mar 13, 2025Updated last year
- Package manager for Vala☆10Dec 3, 2015Updated 10 years ago