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:
- Code repo for course "Introduction to Data Science and Machine Learning (DSML)"☆8Updated 4 years ago
- TUDSaT Onboard Computer Software☆10Updated 6 years ago
- New DUCSS website☆7Updated 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…☆18Updated 8 years ago
- ☆11Updated last year
- This repository contains study material that EPFL, Harvard, MIT Quantum Computing associations and others provide to the students as trai…☆37Updated 5 years ago
- Control system for Illini Hyperloop☆11Updated 2 years ago
- A public mirror of the private flight software development repository. Updated around every month or so☆13Updated 5 years ago
- Monte-Carlo simulations of four-dimensional Yang-Mills theories coupled to scalar and fermion fields☆8Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆81Updated 3 months ago
- Successor to PolyBoRi☆19Updated 2 weeks ago
- ☆15Updated 4 years ago
- Kernel Intermediate Representation Infrastructure☆20Updated this week
- A reference implementation for a quantum virtual machine in Python☆48Updated 6 years ago
- LAR-19642-1: Visual Studio Code Extension for PVS☆45Updated last week
- a simple tool for simulating trapped ion systems☆74Updated 6 months ago
- Automated Controller Synthesis☆15Updated 6 years ago
- ☆25Updated 4 years ago
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆14Updated 7 years ago
- Interactive lectures for MIT LL Introduction to Radar course☆22Updated 9 months ago
- IBEX is a C++ library for constraint processing over real numbers.☆76Updated last week
- A Small Quantum Intermediate Representation☆86Updated 4 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆55Updated last year
- Repository for the website of club. Hosted at https://stac.iitmandi.co.in.☆12Updated 4 months ago
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆98Updated 2 years ago
- Julia package for computer-aided design of quantum integrated circuits☆28Updated this week
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Updated 6 years ago