☆43Sep 17, 2026Updated this week
Alternatives and similar repositories for rust-alpine-mimalloc
Users that are interested in rust-alpine-mimalloc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HTTP Client for Rust☆21Feb 2, 2021Updated 5 years ago
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- 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.
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆18Oct 23, 2012Updated 13 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Updated version of Ned T. Crigler's wonderful dtach utility, simplified with the eventual goal of being scriptable.☆25Jan 1, 2015Updated 11 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- Appimages are an insecure packaging system with very limited use cases. Please use Flatpak instead!☆19Mar 4, 2024Updated 2 years ago
- A userspace tunnel between two hosts mapping ports on client machine to addresses reachable from server machine.☆18Feb 25, 2022Updated 4 years ago
- Lightweight CDN for distributing content across multiple servers.☆23Jul 31, 2026Updated last month
- A logging library that uses systemd-cat to log to journald☆16May 5, 2026Updated 4 months ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years 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.
- ☆12Feb 24, 2024Updated 2 years ago
- Sample DDD application in Elixir☆14Aug 31, 2018Updated 8 years ago
- ☆33Nov 2, 2020Updated 5 years ago
- Simple, efficient and cross-platform TFIDF-based text summarizer in Rust☆13Apr 12, 2024Updated 2 years ago
- A Rust crate to evaluate programs based on Directed Acyclic Graphs☆11Aug 1, 2025Updated last year
- An example of using metal-cpp with GLFW and CMake.☆13Oct 2, 2025Updated 11 months ago
- Rust profanity filtering library☆12Nov 16, 2022Updated 3 years ago
- StumpWM Debugger☆12Apr 19, 2025Updated last year
- Collection of all exams part of the Master's Programme in Computer and Information Engineering program☆20May 11, 2026Updated 4 months 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.
- An implementation of Haskell’s MVars in Racket☆32Oct 12, 2024Updated last year
- 🧬 Small OAuth crate that follows the sans-io approach 🦀☆25Aug 8, 2024Updated 2 years ago
- A simple minimal example of using glium on GTK's GLArea☆11Aug 29, 2023Updated 3 years ago
- Proc macro derive to generate structs from enum variants.☆32Mar 2, 2026Updated 6 months ago
- A fast, safe, and portable implementation of HighwayHash for Rust☆18Jun 6, 2023Updated 3 years ago
- Owned container for dynamically-sized types backed by inline memory☆14Sep 6, 2024Updated 2 years ago
- Qdir- Quick Directory Generator☆17Oct 7, 2024Updated last year
- Simple undo/redo primitive for solidjs using the command pattern☆19Feb 24, 2023Updated 3 years ago
- IntX is a C++11 port of IntX arbitrary precision Integer library with speed, about O(N * log N) multiplication/division algorithms implem…☆11Sep 13, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Work in progress porting my blog software to Common Lisp☆10Sep 18, 2019Updated 7 years ago
- Brunch is a very simple Rust micro-benchmark runner.☆30Jan 23, 2026Updated 7 months ago
- Ryzentosh Build [OC 1.0.6]☆12Jul 31, 2026Updated last month
- Kubernetes tools in a "distroless" container☆13Oct 30, 2023Updated 2 years ago
- Run SGLang on 1-to-N NVIDIA DGX Spark servers (single Spark, 2 via direct cable, or 3+ via switched fabric) to serve or benchmark LLMs☆21May 1, 2026Updated 4 months ago
- Hindi stardict dicts☆10Jan 14, 2026Updated 8 months ago
- Blazingly fast, GC friendly R-Tree☆12Jan 18, 2019Updated 7 years ago