A scientific computing library for Rust.
☆38Aug 4, 2014Updated 12 years ago
Alternatives and similar repositories for SciRust
Users that are interested in SciRust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆85Jan 19, 2013Updated 13 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- DEPRECATED☆18May 14, 2013Updated 13 years ago
- [UNMAINTAINED] GLUT bindings for Rust☆22Nov 14, 2014Updated 11 years ago
- A Rust linear algebra library based on expression templates☆52Jun 13, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- rust html source code browser generator, rust source code navigator, possible component for IDE ? Example output - see rust compiler sou…☆48Jun 3, 2017Updated 9 years ago
- Sebastian Sylvan's Rust ray-tracer☆21Dec 4, 2013Updated 12 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated last year
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆36May 14, 2013Updated 13 years ago
- Example of linking to and calling Rust code from C☆27Jan 7, 2014Updated 12 years ago
- Haskell BLAS bindings☆16Oct 17, 2010Updated 15 years ago
- ☆26Nov 27, 2012Updated 13 years ago
- Exuberant ctags language definition for Rust.☆26Sep 11, 2019Updated 6 years ago
- Parser combinator library written using the Rust language☆43May 23, 2013Updated 13 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.
- A TurtleScript interpreter written in Rust.☆19Oct 3, 2013Updated 12 years ago
- ☆12May 23, 2012Updated 14 years ago
- Examples for the Hacker's Machine Learning Framework Leaf☆80Jan 15, 2017Updated 9 years ago
- A Haskell wrapper for xgboost☆22Mar 14, 2017Updated 9 years ago
- Rust based Cross-GPU Machine Learning☆92Oct 22, 2016Updated 9 years ago
- DEPRECATED: see rust-lang/rust-enhanced (new maintainer)☆44Jan 9, 2014Updated 12 years ago
- Scientific Computing Library in Rust☆269Jun 21, 2019Updated 7 years ago
- Morte IDE☆29Apr 3, 2025Updated last year
- WIP - Don't look!☆11Dec 14, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Nov 12, 2017Updated 8 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- [UNMAINTAINED] OpenGL ES 2.0 bindings for Rust (see servo/gleam)☆45Oct 30, 2014Updated 11 years ago
- Clojure inspired transducers implementation in JS☆12Mar 24, 2015Updated 11 years ago
- Brave browser for Desktop and Laptop computers running Linux☆10Jan 10, 2019Updated 7 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- An attempt at porting Elm's incredibly useful, purely functional std graphics modules.☆146Dec 22, 2015Updated 10 years ago
- A tool for reasoning about breaking changes in Rust ecosystems☆40Nov 28, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- ☆11Aug 2, 2026Updated 3 weeks ago
- Soft body simulator written in Rust.☆17Aug 10, 2013Updated 13 years ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Jun 27, 2026Updated 2 months ago
- Implementation of the SPDY Protocol in Haskell☆15Mar 26, 2013Updated 13 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 8 years ago
- mochiweb git-svn checkout☆16Dec 3, 2008Updated 17 years ago