benruijl / symbolica

Related projects: ⓘ

• p-e-w / savage
  A primitive computer algebra system
  ☆567Updated last year
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆463Updated 2 weeks ago
• s-arash / ascent
  logic programming in Rust
  ☆387Updated 2 months ago
• typst / comemo
  Incremental computation through constrained memoization.
  ☆420Updated 2 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆607Updated 5 months ago
• sarah-ek / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆1,799Updated this week
• pcwalton / offset-allocator
  A port of Sebastian Aaltonen's `OffsetAllocator` to Rust
  ☆383Updated 2 months ago
• QuState / PhastFT
  A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.
  ☆200Updated last month
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆539Updated this week
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,129Updated this week
• charles-r-earp / krnl
  Safe, portable, high performance compute (GPGPU) kernels.
  ☆187Updated 3 months ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆598Updated 5 months ago
• RyanWelly / lisp-in-rs-macros
  A Lisp interpreter written fully in rust macros.
  ☆227Updated this week
• Eliah-Lakhin / lady-deirdre
  Compiler front-end foundation technology.
  ☆441Updated 2 weeks ago
• SFBdragon / talc
  A fast and flexible allocator for no_std and WebAssembly
  ☆407Updated last month
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆349Updated this week
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆976Updated this week
• davidlattimore / wild
  ☆519Updated this week
• ogxd / gxhash
  The fastest hashing algorithm 📈
  ☆759Updated last month
• Mathics3 / mathics-core
  An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbo…
  ☆756Updated this week
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,337Updated 2 weeks ago
• swimos / swim-rust
  Self-contained distributed software platform for building stateful, massively real-time streaming applications in Rust.
  ☆293Updated this week
• aftix / bacon
  Scientific Computing in Rust
  ☆184Updated 6 months ago
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆242Updated last month
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆749Updated 3 weeks ago
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆102Updated last year
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
  ☆398Updated this week
• flux-rs / flux
  Refinement Types for Rust
  ☆639Updated this week
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆809Updated last week
• nicholassm / disruptor-rs
  Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.
  ☆625Updated last week