Alternatives and similar repositories for linguistic-flux-capacitor

Users that are interested in linguistic-flux-capacitor are comparing it to the libraries listed below

• erelsgl / fairpy
  An open-source library of fair division algorithms in Python
  ☆37Updated last year
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆345Updated this week
• Ameobea / neural-network-from-scratch
  A neural network library written from scratch in Rust along with a web-based application for building + training neural networks + visual…
  ☆133Updated 9 months ago
• bloa / magpie
  ☆13Updated last week
• cmsc388z / lectures
  ☆26Updated 2 years ago
• elastic / goko
  A fast covertree implementation
  ☆35Updated 11 months ago
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆37Updated 2 weeks ago
• danieleades / arithmetic-coding
  Arithmetic coding library
  ☆17Updated 2 weeks ago
• rust-ml / Meetings
  Collection of Agendas and Minutes from the Rust ML Group
  ☆16Updated 2 years ago
• JonasAlaif / russol-alpha
  A tool for synthesis of Rust code, very early prototype
  ☆13Updated last year
• facebookresearch / dachshund
  Dachshund is a graph mining library written in Rust. It provides high performance data structures for multiple kinds of graphs, from simp…
  ☆90Updated last year
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆276Updated 3 years ago
• gvilums / ptoxide
  Virtual machine for executing CUDA PTX without a GPU
  ☆35Updated last year
• dps / rust-raytracer
  🔭 A simple ray tracer in Rust 🦀
  ☆251Updated 3 years ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆35Updated last month
• advancedresearch / path_semantics
  A research project in path semantics, a re-interpretation of functions for expressing mathematics
  ☆172Updated 2 weeks ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆648Updated last month
• aftix / bacon
  Scientific Computing in Rust
  ☆190Updated last month
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆101Updated 2 years ago
• itt-ustutt / num-dual
  Generalized (hyper-) dual numbers in rust
  ☆69Updated 2 weeks ago
• SynthesisLab / DeepSynth2
  General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
  ☆18Updated last month
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆44Updated 2 weeks ago
• coreylowman / llama-dfdx
  LLaMa 7b with CUDA acceleration implemented in rust. Minimal GPU memory needed!
  ☆108Updated last year
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆62Updated last month
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆84Updated 4 months ago
• bilal2vec / L2
  l2 is a fast, Pytorch-style Tensor+Autograd library written in Rust
  ☆197Updated 2 years ago
• DatenVorsprung / GoTube
  Scalable stochastic verification of continuous-depth models
  ☆11Updated 2 years ago
• Katsutoshii / barnes-hut-rs
  Implementation of the Barnes Hut Algorithm in rust with visualization and web-deployment using WASM
  ☆133Updated 4 years ago
• o8vm / ods
  Open Data Structures (in Rust)
  ☆355Updated 5 years ago