-
musl Public
Forked from OpenOrbis/muslA PS4 port of musl for the OpenOrbis PS4 Toolchain.
C Other UpdatedJan 30, 2022 -
-
-
-
-
-
llvmlite Public
Forked from numba/llvmliteA lightweight LLVM python binding for writing JIT compilers
Python BSD 2-Clause "Simplified" License UpdatedDec 28, 2021 -
OpenOrbis-PS4-Toolchain Public
Forked from OpenOrbis/OpenOrbis-PS4-ToolchainThe OpenOrbis PS4 custom toolchain. Allows developers to build homebrew for the PS4 without the official SDK.
-
VoTE Public
Verifier of Tree Ensembles
-
VoTE-scaling-experiments Public
Scalability of Formal Verifiers for Tree Ensembles
-
playground Public
A place where I can store small but usefull scripts, applications and uefull command lines
-
ikos Public
Forked from NASA-SW-VnV/ikosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
C++ Other UpdatedJun 8, 2020 -
jtmut Public
Johns tiny schemata mutation testing tool
-
psx-tools Public
Forked from diasurgical/psx-toolsTools for the Playstation port of Diablo.
C UpdatedApr 22, 2020 -
mav_trajectory_generation Public
Forked from ethz-asl/mav_trajectory_generationPolynomial trajectory generation and optimization, especially for rotary-wing MAVs.
C++ Apache License 2.0 UpdatedNov 14, 2019 -
Fast-Planner Public
Forked from HKUST-Aerial-Robotics/Fast-PlannerPackage for the paper "Robust and Efficient Quadrotor Trajectory Generation for Fast Autonomous Flight"
C++ GNU General Public License v3.0 UpdatedNov 13, 2019 -
mav_voxblox_planning Public
Forked from ethz-asl/mav_voxblox_planningMAV planning tools using voxblox as the map representation.
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 9, 2019 -
voxblox Public
Forked from ethz-asl/voxbloxA library for flexible voxel-based mapping, mainly focusing on truncated and Euclidean signed distance fields.
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 9, 2019 -
github-actions-ci-playground Public
Shell GNU Lesser General Public License v3.0 UpdatedAug 18, 2019 -
plugin.video.tv3play.dk Public
Forked from anorm/plugin.video.tv3play.dk -
dextool Public
Forked from joakim-brannstrom/dextoolSuite of C/C++ tooling built on LLVM/Clang
D Other UpdatedJul 22, 2019 -
wara-sw Public
Forked from wasp-sweden/wara-swWASP Research Arena for Software
UpdatedJun 15, 2019 -
Sudoku_Solver Public
Sudoku solver implemented in Ada SPARK
Ada GNU General Public License v3.0 UpdatedFeb 27, 2019 -
-
TVHGuide Public
An Android client for TVHeadend using the HTSP protocol
-
-
pyxtuml Public
Python library for parsing, manipulating, and generating BridgePoint xtUML models
-
-
-
{{ message }}