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
- 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.
- 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
- OCaml bindings for the Javascript c3 charting library☆30Aug 5, 2019Updated 7 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
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- 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
- 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.
- 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
- A minimal scripting and data language for Rust.☆17Jun 3, 2013Updated 13 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
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- ☆11Aug 2, 2026Updated last week
- 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.
- 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
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly☆20Jun 26, 2010Updated 16 years ago
- A brainfuck procedural macro for Rust☆64May 21, 2016Updated 10 years ago
- Linear algebra library for Rust☆40Apr 21, 2016Updated 10 years ago