Solar Position Algorithm implementation in Rust
☆54Feb 11, 2024Updated 2 years ago
Alternatives and similar repositories for spa-rs
Users that are interested in spa-rs are comparing it to the libraries listed below
Sorting:
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆25Oct 26, 2023Updated 2 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 2 months ago
- ☆15Aug 24, 2019Updated 6 years ago
- NEAT算法玩Flappy Bird(像素鸟)☆16Jan 18, 2024Updated 2 years ago
- JSON event parser is a simple streaming JSON parser and serializer implementation in Rust.☆14Feb 6, 2026Updated 3 weeks ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 3 weeks ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- Like a cell, but make lifetimes dynamic instead of ownership☆21Jul 14, 2022Updated 3 years ago
- A set of collection data types for rust that are simple wrappers around vectors☆10Jan 14, 2026Updated last month
- Low To High Level Math Library for Rust☆54Jan 29, 2022Updated 4 years ago
- Implementation agnostic memory allocator for Vulkan-like APIs☆91Apr 9, 2024Updated last year
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Bot for the 2018 Entelect Challenge - Tower Defence☆17Sep 19, 2018Updated 7 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Dec 12, 2025Updated 2 months ago
- An experimental programming language.☆19May 16, 2019Updated 6 years ago
- DCPU-16 emulator written in Rust☆13Dec 23, 2016Updated 9 years ago
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- A brief example to adapt TM1637 8-char digit display module with STM32F103 using embedded Rust☆15Feb 23, 2020Updated 6 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years ago
- A watchdog utility for tokio runtimes☆16Dec 19, 2025Updated 2 months ago
- Rust port of the extended isolation forest algorithm for anomaly detection☆20Apr 26, 2023Updated 2 years ago
- A WIP project using the `VK_KHR_ray_tracing_pipeline` Vulkan extension and friends☆16Oct 29, 2021Updated 4 years ago
- A drop-in GlobalAlloc implementation using tcmalloc from gperftools.☆20Nov 2, 2023Updated 2 years ago
- A Rustified OpenCL Experience☆46May 18, 2023Updated 2 years ago
- UFO font source made with Runebender☆17Aug 14, 2021Updated 4 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 10 months ago
- Rustification of the excellent GD Script Action RPG Tutorial by youtuber HeartBeast☆16Oct 14, 2025Updated 4 months ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Find & GRep program☆19Apr 30, 2024Updated last year
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Oct 23, 2020Updated 5 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- A simple way to implement Rayon's ParallelIterator☆19Apr 13, 2022Updated 3 years ago
- Extraction and modernization of the hyper 0.11.x typed header module☆30Dec 19, 2022Updated 3 years ago
- A crate to assist in the creation of TUI text editors☆18Sep 13, 2024Updated last year
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago