TommiKivela

TommiKivela's Stars

• mame/quine-relay

  An uroboros program with 100+ programming languages

  Language:Ruby14k23691556

• LingDong-/shan-shui-inf

  Procedurally generated Chinese landscape painting.

  Language:HTML5.5k7112446

• ThrowTheSwitch/Unity

  Simple Unit Testing for C

  Language:C4.1k165324984

• stephane/libmodbus

  A Modbus library for Linux, Mac OS, FreeBSD and Windows

  Language:C3.5k2105171.8k

• scopatz/nanorc

  Improved Nano Syntax Highlighting Files

  Language:Shell3.1k75124553

• orbitalindex/awesome-space

  🛰️🚀A list of awesome space-related packages and resources maintained by The Orbital Index

  Language:Ruby1.9k7818157

• eclipse-iceoryx/iceoryx

  Eclipse iceoryx™ - true zero-copy inter-process-communication

  Language:C++1.7k67996397

• everestpipkin/tools-list

  Open source, experimental, and tiny tools roundup

  Language:HTML1.7k44666

• stanislaw/awesome-safety-critical

  List of resources about programming practices for writing safety-critical software.

  Language:Python1.5k62488

• opensoldat/opensoldat

  OpenSoldat is a unique 2D (side-view) multiplayer action game

  Language:Pascal1.4k457389

• altmany/export_fig

  A MATLAB toolbox for exporting publication quality figures

  Language:MATLAB1.3k72383368

• pschanely/CrossHair

  An analysis tool for Python that blurs the line between testing and type systems.

  Language:Python1k1416649

• cwalter-at/freemodbus

  BSD licensed MODBUS RTU/ASCII and TCP slave

  Language:C7945933399

• OpenEnroth/OpenEnroth

  Open reimplementation of Might and Magic 6 7 8 game engine

  Language:C++7243559987

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65016862

• Systems-Modeling/SysML-v2-Release

  The latest incremental release of SysML v2. Start here.

  Language:Batchfile464828966

• VDA5050/VDA5050

  Official Specification document for the VDA 5050

  2463620797

• ferrous-systems/sealed-rust

  Bringing Rust to the Safety Critical Domain

  2197921

• inorton/junit2html

  Turn Junit XML reports into self contained HTML reports

  Language:Python1384063

• catedrasaes-umu/emf4cpp

  Eclipse Modeling Framework for C++

  Language:C++45151316

• klsecservices/Publications

  366013

• ariadne-cps/ariadne

  C++ framework for rigorous computation on cyber-physical systems

  Language:C++2895799

• OleguerCanal/cpp-python_socket

  Simple socket comunication between c++ and python

  Language:C++25333

• JaRei/sinadra

  Language:Python21102

• media-lib/science_lib

  Language:HTML13207

• DEIS-Project-EU/ODEv2

  Public release of the Open Dependability Exchange (ODE) v2 for the DEIS EU Project

  9301

• contractautomataproject/ContractAutomataLib

  The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.

  Language:Java7272

• gburca/RocksoftCRC

  The Rocksoft Model CRC Algorithm

  Language:C7205

• DEIS-Project-EU/DDI-Scripting-Tools

  Public release of the DEIS tools for semi-automatic synthesis & evaluation of DDIs

  Language:C#6401

• DEIS-Project-EU/RuntimeDDIs

  Demonstrators for DDIs at Runtime

  Language:Python3110