Dartmouth-Formula-Racing / DFR_CVC_2019
Dartmouth Formula Racing Central Vehicle Controller Codebase
☆10Updated last year
Alternatives and similar repositories for DFR_CVC_2019:
Users that are interested in DFR_CVC_2019 are comparing it to the libraries listed below
- Control system for Illini Hyperloop☆11Updated 2 years ago
- A Small Quantum Intermediate Representation☆86Updated 2 months ago
- Monte-Carlo simulations of four-dimensional Yang-Mills theories coupled to scalar and fermion fields☆8Updated 2 years ago
- A quantum circuit language and formal verification tool☆100Updated last year
- ⟨𝜑|𝜓⟩.vue - a Vue-based visualization of quantum states and operations☆32Updated last year
- Type an M x M matrix for your open quantum system Hamiltonian, and give a spectral density (analytic or numerical). FeynDyn gives the den…☆24Updated 2 years ago
- C++ library for semigroups and monoids☆46Updated this week
- Coq library for reasoning about quantum programs☆39Updated 2 months ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated last year
- Bidirectional transformation between Yao IR and QASM.☆11Updated 4 years ago
- Slides/notes and Jupyter notebook demos for an introductory course of numerical analysis/scientific computing☆50Updated 3 weeks ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Tutorials and documentation for working with Pasqal classes in cirq☆10Updated 4 years ago
- ☆9Updated 6 years ago
- ☆25Updated 3 months ago
- Verifying the ZX Calculus☆20Updated last week
- Group satellites into constellations such that their average observation coverage is maximized☆32Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year
- The CQC library written in Python☆21Updated 4 years ago
- Classification of combinatorial objects☆16Updated this week
- An IBM OpenQASM 2.0 Parser Written In Rust☆27Updated 3 years ago
- OpenQASM 3 + OpenPulse in Python☆25Updated 5 months ago
- Formalized quantum computing in Lean theorem prover☆22Updated 4 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated 3 weeks ago
- CAP project -- Categories, Algorithms, and Programming☆25Updated last week
- QuantumFlow: A Quantum Algorithms Development Toolkit☆59Updated 8 months ago
- Computational Physics☆30Updated 3 weeks ago
- Playable quantum game theory games☆69Updated 2 years ago
- Some small programmes written using OpenMP☆9Updated 10 years ago
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆17Updated 8 years ago