3D simulation for a flock of boids in Rust
☆29Sep 12, 2022Updated 3 years ago
Alternatives and similar repositories for rboids
Users that are interested in rboids are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- 3d planet demo in gfx/rust☆14Jan 13, 2017Updated 9 years ago
- A simple, gravity-based platformer☆14Aug 7, 2020Updated 6 years ago
- experimental middleware-based minimalism async HTTP server framework☆22Mar 28, 2021Updated 5 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆30Mar 31, 2020Updated 6 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- ☆20Jul 9, 2021Updated 5 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- Proc-macro utility to populate enums from database data☆20Aug 8, 2024Updated 2 years ago
- 7drl2020☆17Oct 28, 2024Updated last year
- Permanenty moved to Dotrix monorepo☆16Oct 6, 2021Updated 4 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Numerical snippets & tests☆12Jan 5, 2026Updated 7 months ago
- An experimental programming language.☆19May 16, 2019Updated 7 years ago
- A structure for holding a set of enum variants☆19Mar 6, 2019Updated 7 years ago
- A glsl to spirv compiler☆20Nov 26, 2019Updated 6 years ago
- ☆46Feb 16, 2021Updated 5 years ago
- A threadsafe way to publish data, just stick it on the pinboard☆29Apr 17, 2023Updated 3 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- A Rust crate for offsetting (shrinking/expanding) polygons.☆14Jun 6, 2024Updated 2 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 6 years ago
- Online multiplayer sandbox space ship combat game☆54Dec 23, 2018Updated 7 years ago
- Is it easy to draw a line?☆15Sep 25, 2020Updated 5 years ago
- Print bytes as losslessly as possible.☆19Sep 6, 2025Updated 11 months ago
- A game engine built in Rust for Windows, Mac OSX, and Linux.☆18Oct 5, 2017Updated 8 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated 2 years ago
- Ant colony simulator☆54Jan 11, 2022Updated 4 years ago
- Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)☆23Mar 11, 2020Updated 6 years ago
- AI Agents on 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.
- Library for writing Cocoa apps in Rust (still very much WIP)☆35May 13, 2018Updated 8 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Jun 11, 2026Updated 2 months ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- Rust GFX examples with Sciter UI.☆19Dec 6, 2022Updated 3 years ago
- A repetition detector written in Rust☆14Mar 16, 2017Updated 9 years ago
- cargo-suicide subcommand for the brave Rust coders☆14Mar 31, 2019Updated 7 years ago
- ☆12Feb 11, 2019Updated 7 years ago