☆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:
- TXL programming language compiler/interpreter☆28Oct 6, 2025Updated last year
- ☆11Apr 16, 2025Updated last year
- A smarter tool to automatically generate FFI bindings for C libraries☆11Sep 8, 2014Updated 12 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- A consumer + rpc interface for asynchronous task execution☆18Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- RustTalk 是一档专注在 Rust 社区的程序员闲聊节目。微信公众号：RustTalk☆12Aug 9, 2026Updated 2 months ago
- ☆14Dec 31, 2024Updated last year
- Collection of Automated Reasoners☆39Oct 14, 2026Updated 2 weeks ago
- A framework for correctly implementing stateful microservice applications on serverless using standard Python.☆13Jan 5, 2023Updated 3 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- A Survey on Large Language Models for Personalized Alignment☆18Feb 12, 2026Updated 8 months ago
- mitigation script by disabling ipv6 of all interfaces☆13Aug 15, 2024Updated 2 years ago
- [TSE 2024] APPT: Boosting Automated Patch Correctness Prediction via Fine-tuning Pre-trained Models☆16Jan 29, 2024Updated 2 years ago
- A parallel programming model for online applications with complex synchronization requirements.☆17Jun 8, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [MIRROR] Ultimate Ocaml Editing Mode☆23Jul 12, 2022Updated 4 years ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆46Apr 2, 2020Updated 6 years ago
- 爬虫项目，用来爬取huntr网站的cve相关信息☆12May 10, 2023Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- Defining the semantics of K in K☆16May 6, 2020Updated 6 years ago
- ☆18Jan 17, 2022Updated 4 years ago
- This opensource project dedicated to implementing Enterprise level AI-SPM. By doing so organizations can proactively protect their AI sys…☆17May 17, 2026Updated 5 months ago
- Prop Compiler Compiler is a an augmented C++ to C++ translator. Adding Alegebraic Data Types, pattern matching, rewriting, parser generat…☆14May 6, 2015Updated 11 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.
- A curated list of protocols, specs, SDKs, and tools powering the emerging agentic commerce stack.☆25Jun 29, 2026Updated 4 months 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
- Write XMP metadata☆11Aug 7, 2026Updated 2 months ago
- A complete Mamba implementation in Rust: Mamba, Mamba-2 and Mamba-3 (SISO and MIMO), inference and training on the CPU and on NVIDIA GPUs…☆20Updated this week
- astyle mirror (http://astyle.sourceforge.net/)☆11Mar 12, 2018Updated 8 years ago
- A small plugin to add markdown support for emoji markup☆14Sep 14, 2024Updated 2 years ago
- SpikeStream Visualisation Code as seen on https://spikestream.corticallabs.com and https://www.youtube.com/watch?v=9ksLuRoEq6A☆22Nov 10, 2023Updated 2 years ago
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆25Jan 20, 2025Updated last year
- Automatic performance capture and analysis for production applications in Python using a custom columnar database written in Rust.☆17Jun 12, 2026Updated 4 months ago
- C HTML Template Library☆11Jan 19, 2022Updated 4 years ago
- Single-launch batch-1 decode engine for PrismML Bonsai 27B (ternary and 1-bit) on NVIDIA GPUs. 1.76x the vendor llama.cpp fork on H100, s…☆18Jul 16, 2026Updated 3 months ago
- 🚀 A simple platform and shell agnostic installer and version manager for Go.☆11Jan 4, 2025Updated last year
- LXDE common configuration files (recovered copy)☆10Aug 21, 2026Updated 2 months ago
- My computer daily study notes☆12Mar 11, 2025Updated last year