Pinned Repositories
bdj-sdk
llvm-p86
A compiler and mutation testing framework for the programming language Pascal-86
ps5-payload-sdk
An SDK for PS5 payloads that uses dynamic linking
tiny-ps4-shell
tvheadend
Tvheadend is a TV streaming server for Linux supporting DVB-S, DVB-S2, DVB-C, DVB-T, ATSC, IPTV, and Analog video (V4L) as input sources.
TVHGuide
An Android client for TVHeadend using the HTSP protocol
VoTE
Verifier of Tree Ensembles
tvheadend
Tvheadend is the leading TV streaming server for Linux with ATSC, DVB-C/C2, DVB-S/S2, DVB-T/T2, IPTV, SAT>IP and unix pipe input sources
pyrsl
Python-based interpreter for Rule Specification Language (RSL)
pyxtuml
Python library for parsing, manipulating, and generating BridgePoint xtUML models
john-tornblom's Repositories
john-tornblom/TVHGuide
An Android client for TVHeadend using the HTSP protocol
john-tornblom/VoTE
Verifier of Tree Ensembles
john-tornblom/pyxtuml
Python library for parsing, manipulating, and generating BridgePoint xtUML models
john-tornblom/jtmut
Johns tiny schemata mutation testing tool
john-tornblom/mc_stdlib
john-tornblom/playground
A place where I can store small but usefull scripts, applications and uefull command lines
john-tornblom/VoTE-scaling-experiments
Scalability of Formal Verifiers for Tree Ensembles
john-tornblom/bridgepoint
The BridgePoint eclipse plugins
john-tornblom/dextool
Suite of C/C++ tooling built on LLVM/Clang
john-tornblom/Fast-Planner
Package for the paper "Robust and Efficient Quadrotor Trajectory Generation for Fast Autonomous Flight"
john-tornblom/github-actions-ci-playground
john-tornblom/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
john-tornblom/kiwi-ctrl
john-tornblom/linux-kernel-hack-challenge
Contest for hacking the linux kernel to provide real-time characteristics.
john-tornblom/mav_trajectory_generation
Polynomial trajectory generation and optimization, especially for rotary-wing MAVs.
john-tornblom/mav_voxblox_planning
MAV planning tools using voxblox as the map representation.
john-tornblom/mc
model compiler arcs, support files, and interface plug-ins
john-tornblom/mc_stdlib_testing
john-tornblom/mltree_check
john-tornblom/plugin.video.tv3play.dk
john-tornblom/psx-tools
Tools for the Playstation port of Diablo.
john-tornblom/rsl2xtuml
rsl to xtuml translation
john-tornblom/sql_load
john-tornblom/sql_load_testing
john-tornblom/Sudoku_Solver
Sudoku solver implemented in Ada SPARK
john-tornblom/unit_testing
john-tornblom/VoRF
Verifier of Random Forests
john-tornblom/voxblox
A library for flexible voxel-based mapping, mainly focusing on truncated and Euclidean signed distance fields.
john-tornblom/wara-sw
WASP Research Arena for Software
john-tornblom/xtUML_Load