Dartmouth-Formula-Racing / DFR_CVC_2019Links
Dartmouth Formula Racing Central Vehicle Controller Codebase
☆10Updated 2 years ago
Alternatives and similar repositories for DFR_CVC_2019
Users that are interested in DFR_CVC_2019 are comparing it to the libraries listed below
Sorting:
- This Is Indian Country - Spring 2018 Instance☆12Updated 7 years ago
- Control system for Illini Hyperloop☆11Updated 3 years ago
- ☆17Updated last week
- Repository for the website of club. Hosted at https://stac.iitmandi.co.in.☆14Updated 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 3 years ago
- This repository contains study material that EPFL, Harvard, MIT Quantum Computing associations and others provide to the students as trai…☆39Updated 5 years ago
- A Small Quantum Intermediate Representation☆91Updated 6 months ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆97Updated this week
- A quantum circuit language and formal verification tool☆106Updated 8 months ago
- CIS 501: Computer Architecture Fall 2019☆22Updated 5 years ago
- ☆28Updated 5 years ago
- Angular panels made simple☆11Updated 2 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 9 years ago
- A reference implementation for a quantum virtual machine in Python☆46Updated 7 years ago
- Kernel Intermediate Representation Infrastructure☆51Updated this week
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆104Updated 2 years ago
- Supplementary material for Cornell CVW on "Python for High Performance"☆26Updated 5 years ago
- R package implementing analysis tools for lattice QCD☆19Updated this week
- Tool Support for Correctness-by-Construction☆30Updated 2 weeks ago
- Homotopy type theory☆14Updated 3 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆171Updated 6 years ago
- Source code for the book "Quantum Computing for Programmers", Cambridge University Press☆104Updated 2 months ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆164Updated 2 months ago
- Coq library for reasoning about quantum programs☆40Updated 4 months ago
- Java-hosted execution of Protelis programs☆20Updated this week
- An open peer review site for arXiv preprints☆177Updated this week
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆29Updated 6 years ago
- ☆14Updated last year
- Home of ALP/GraphBLAS and ALP/Pregel, featuring shared- and distributed-memory auto-parallelisation of linear algebraic and vertex-centri…☆33Updated last week
- Computational Physics☆34Updated last week