☆12Apr 17, 2023Updated 2 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:
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 7 months ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- TXL programming language compiler/interpreter☆26Oct 6, 2025Updated 5 months ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 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.
- ☆115Jul 14, 2024Updated last year
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 3 weeks ago
- A tool for the creation and visualization of citation networks which combines citation data obtained from parsing the paper's PDF files a…☆24Nov 28, 2022Updated 3 years ago
- ☆15Jul 23, 2021Updated 4 years ago
- mitigation script by disabling ipv6 of all interfaces☆14Aug 15, 2024Updated last year
- MeowTools - maybe some useful tools for CTFers / programmers☆20Nov 27, 2022Updated 3 years ago
- Storage agnostic incremental backups tools, building blocks for creating incremental backups utilities.☆28Dec 2, 2013Updated 12 years ago
- My computer daily study notes☆11Mar 11, 2025Updated last year
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 3 weeks ago
- ☆12Apr 17, 2025Updated 11 months ago
- VSCode extension for Xonsh language support☆23Feb 1, 2026Updated last month
- 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.☆12Oct 18, 2025Updated 5 months ago
- An app for manual mode on Sony Alpha 6000 cameras☆13Sep 1, 2019Updated 6 years ago
- Runflow is a tool to define and run workflows.☆10Jul 13, 2021Updated 4 years ago
- EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.☆31Mar 17, 2026Updated last week
- Bitclamp allows arbitrary files to be permanently and anonymously published into the Bitcoin and Dogecoin blockchains.☆14Jan 12, 2017Updated 9 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.
- A plugin for Hatch that runs build scripts and saves their artifacts.☆25May 29, 2025Updated 10 months ago
- High-fidelity time library for Rust, useful for applications where sub-nanosecond accuracy and exact arithmetic are needed☆39Nov 4, 2025Updated 4 months ago
- ☆12Dec 23, 2024Updated 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 last month
- Realtime MIDI IO with Ruby for Windows/Cygwin☆15May 12, 2022Updated 3 years 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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 快来生成你的浏览记录年度总结!☆18Dec 12, 2024Updated last year
- Package manager for Vala☆10Dec 3, 2015Updated 10 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago
- ☆15Jun 30, 2021Updated 4 years ago
- 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 2 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 2 years ago