Visualizing Ownership and Borrowing in Rust Programs
☆65Dec 13, 2024Updated last year
Alternatives and similar repositories for boris
Users that are interested in boris are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quick example of axum + async-stream☆13Jun 15, 2022Updated 4 years ago
- Animated harmonograph wallpaper for Sway/Wayland☆13Mar 18, 2026Updated 7 months ago
- ☆11Mar 24, 2021Updated 5 years ago
- ☆10Sep 23, 2018Updated 8 years ago
- ☆11Aug 17, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Human-readible metadata file format to consolidate research information such that it can be stored, updated, and submitted to databases w…☆15Sep 24, 2026Updated last month
- An Experimental Rust Quant Library☆12May 13, 2026Updated 5 months ago
- Rust Tips and Tricks☆15May 5, 2022Updated 4 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- Python-based Scraping and parsing toolkit☆12Apr 1, 2023Updated 3 years ago
- Minix 3.1.0 source code from Operating Systems: Design and Implementation 3rd edition☆13Jul 22, 2022Updated 4 years ago
- Quantum Machine Learning☆10Jan 19, 2023Updated 3 years ago
- A simplified solver written for Heads Up No-Limit Hold'Em Poker☆10Sep 10, 2023Updated 3 years ago
- OpenCV Face Detection in Rust using Haar Cascades☆13Jan 25, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A quanting demo for cryptocurrency based on Rust.☆11Sep 14, 2024Updated 2 years ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Updated this week
- An implementation of faster-rcnn for people detection in python☆10Apr 30, 2019Updated 7 years ago
- boxddd is a Rust binding workspace for Box3D☆14Aug 4, 2026Updated 2 months ago
- A tracing subscriber for the web☆28Nov 30, 2023Updated 2 years ago
- Furnace is a high-performance quantitative trading library that provides features similar to CCXT, allowing developers to connect and int…☆16Jan 16, 2025Updated last year
- ☆13Aug 9, 2026Updated 2 months ago
- Code Repository for "A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models".☆15Oct 14, 2022Updated 4 years ago
- Ingest any document type and query☆13May 31, 2023Updated 3 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.
- ☆12May 6, 2022Updated 4 years ago
- Torrent (transmission-remote API) TUI (Ratatui) in Rust☆15Sep 12, 2026Updated last month
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆19Mar 4, 2025Updated last year
- Rust-native time-series table format with gap/overlap tracking and SQL queries☆17Oct 7, 2026Updated 3 weeks ago
- Stable-diffusion-webui installer for Ubuntu 22.04 LTS☆18Aug 20, 2024Updated 2 years ago
- Ergonomic Rust Client For The TradeStation API.☆14Updated this week
- ☆14Apr 12, 2024Updated 2 years ago
- A process monitoring tool that helps you track and analyze specific processes in real-time.☆15Oct 18, 2026Updated last week
- On a starry night, in a field, shooting stars fall from the sky...and Ferris (and his friends) compete to catch them.☆14Sep 2, 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.
- Might have a go at implementing Pulumi for Rust 🤷♂️☆16Oct 11, 2021Updated 5 years ago
- ☆17Jan 3, 2023Updated 3 years ago
- Ask shortgpt for instant and concise answers☆13May 7, 2023Updated 3 years ago
- A high frequency trading server written in Rust☆20May 21, 2025Updated last year
- Collection of 3 quantitative finance projects in Python that uses algorithmic trading.☆19Jan 20, 2021Updated 5 years ago
- A custom Cargo runner that runs Rust firmware in the renode emulator☆13Apr 28, 2025Updated last year
- A data-first Rust-native UI design toolkit. Experimental embedded version (no_std).☆18Jul 31, 2020Updated 6 years ago