Main Web Site (Online Book)
☆35Jan 19, 2024Updated 2 years ago
Alternatives and similar repositories for raytracinginrust
Users that are interested in raytracinginrust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- This repository contains useful Icedrs links, tools, libraries etc☆12Mar 22, 2023Updated 3 years ago
- A generic bbqueue based transport for defmt log messages☆20Dec 17, 2021Updated 4 years ago
- Timer Wheels With Various Runtimes In Rust☆15Nov 29, 2017Updated 8 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Strongly typed linear algebra library with a focus on 3D applications like games (i.e. low-dimensional vectors and matrices)☆13Dec 22, 2025Updated 3 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Rust implementation of Peter Shirley's "Ray Tracing: The Rest Of Your Life"☆15Jun 30, 2022Updated 3 years ago
- Allows to execute tagged methods asynchronously or to easily schedule them for recurring execution☆12Nov 15, 2021Updated 4 years ago
- Ludum Dare 47 - Jam☆12Dec 19, 2022Updated 3 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- The vfmd specification☆32Oct 29, 2016Updated 9 years ago
- Matrix implementation using custos☆12Feb 7, 2024Updated 2 years ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- JMX client library for Rust☆13Jun 20, 2020Updated 5 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆15Aug 30, 2024Updated last year
- A PBT framework☆10Jul 19, 2025Updated 8 months ago
- This package is meant to serve as a data collection tool for IMU data. This data can be used as a means to assess and test methods de…☆10Sep 15, 2018Updated 7 years ago
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- Extension to `thiserror` that helps reduce the amount of handwriting☆13Apr 6, 2023Updated 3 years ago
- Repository for the code that goes with Advanced Hands-on Rust☆27Oct 19, 2025Updated 5 months 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.
- A blazing fast UI theme color made for VSCode to conquer stars, planet and space. 🚀 ✨ 🌏☆13Dec 6, 2017Updated 8 years ago
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated last year
- An example C++ project utilizing ECS architecture (with entt library).☆10Jan 11, 2022Updated 4 years ago
- ☆17Feb 3, 2022Updated 4 years ago
- ☆12May 24, 2025Updated 10 months ago
- A library for parsing, manipulating, and serializing data structured as JSON.☆20Mar 30, 2026Updated last week
- A Discord utility bot.☆10Jan 20, 2023Updated 3 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆21May 21, 2025Updated 10 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.
- Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)☆96Oct 17, 2025Updated 5 months ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11Dec 30, 2023Updated 2 years ago
- Set monad☆19Jun 11, 2023Updated 2 years ago
- A simple induction and BMC engine.☆24May 16, 2022Updated 3 years ago
- A tiny command line bookmark manager.☆12Aug 14, 2022Updated 3 years ago
- We have Crater At Home☆38Oct 26, 2024Updated last year
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated last year