advancedresearch / advancedresearch.github.io

Related projects: ⓘ

• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 3 years ago
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆45Updated 3 years ago
• AtheMathmo / rugrads
  A proof of concept automatic differentiation library for Rust
  ☆23Updated 6 years ago
• mpdn / disjoint-borrow
  Disjoint borrow of slices in Rust
  ☆11Updated 5 years ago
• c410-f3r / mop
  Flexible and modular framework for different NP-Problems with different solvers
  ☆20Updated last week
• llogiq / optional
  A small crate to provide space-efficient Option<_> replacements
  ☆37Updated last week
• willi-kappler / natural_constants
  Pre-defined constants from all disciplines (math, physics, ...) as a Rust library
  ☆20Updated last year
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆36Updated last year
• bluss / odds
  Odds and ends — collection miscellania. Extra functionality for slices, strings and other things
  ☆21Updated 4 years ago
• shepmaster / ebene-rust
  A Rust source code parser and explorer
  ☆22Updated last year
• Andlon / numeric_literals
  Easily cope with numeric literals in generic Rust code
  ☆24Updated 3 years ago
• advancedresearch / discrete
  Combinatorial phantom types for discrete mathematics
  ☆15Updated 11 months ago
• lemonrock / predicator
  Predicator, a Rust crate for generating and running dynamic code
  ☆16Updated 5 years ago
• kmcallister / azurescens
  Renders interactive fractal-like animations
  ☆18Updated 7 years ago
• PsichiX / psyche
  Psyche Toolset
  ☆22Updated 5 years ago
• jswrenn / typelayout
  An experiment in embedding layout computations in the type system.
  ☆16Updated 5 years ago
• jonas-schievink / rcgc
  ☆16Updated this week
• sagebind / wakeful
  Utilities to aid implementing wakers and working with tasks.
  ☆13Updated 4 years ago
• 4lDO2 / evc
  ☆27Updated this week
• mystor / ctrs
  watt-based inline procedural macros
  ☆14Updated 4 years ago
• raphlinus / win-win
  A semi-opinionated way to create windows on Windows.
  ☆18Updated 4 years ago
• dureuill / transfer
  'Transfer' is to 'move' what 'Clone' is to 'copy'
  ☆11Updated 4 years ago
• advancedresearch / quickbacktrack
  Library for back tracking with customizable search for moves
  ☆23Updated last year
• freebroccolo / morphism.rs
  ☆11Updated this week
• Stebalien / stash-rs
  A fast map for when one doesn't care about choosing the keys.
  ☆26Updated last year
• okready / scratchpad
  A Rust library providing a stack-like memory allocator with double-ended allocation support.
  ☆22Updated 3 years ago
• RustyYato / rel-ptr
  ☆31Updated 4 years ago
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆21Updated 6 years ago
• vadixidav / mli
  Machine Learning Interface for Rust
  ☆13Updated 2 years ago
• ahirner / backtrack-rs
  Solve hard constraints easily with Rust.
  ☆15Updated 2 years ago