Ferric-AI / ferric

Related projects: ⓘ

• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated 11 months ago
• LaurentMazare / xla-rs
  Experimentation using the xla compiler from rust
  ☆90Updated last month
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆73Updated this week
• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆65Updated last week
• eqlog / eqlog
  Datalog with equality for rust
  ☆49Updated 5 months ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆32Updated 2 years ago
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆89Updated 8 months ago
• mcoblenz / Bronze
  ☆35Updated last year
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 4 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆57Updated 2 months ago
• mtomassoli / HKTs
  Seamless Higher-Kinded Types in Rust
  ☆74Updated last year
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆102Updated last year
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆80Updated 3 years ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 3 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆79Updated this week
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆49Updated 9 months ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆37Updated last week
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆14Updated last week
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆103Updated 3 years ago
• promised-ai / lace
  A probabalistic ML tool for science
  ☆97Updated 2 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆57Updated last month
• elrnv / autodiff
  Auto differentiation library
  ☆64Updated last year
• cksac / rai
  RAI: Rust ML framework with composable transformations like JAX.
  ☆68Updated 2 months ago
• Eh2406 / quadrature
  Fast Numerical Integration
  ☆22Updated 5 years ago
• rust-scicomp / scientific-computing-in-rust-monthly
  ☆20Updated last week
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆97Updated 2 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆109Updated last month
• JErnestoMtz / rapl
  Rank Polymorphic array library for Rust.
  ☆103Updated last year