TommiKivela

TommiKivela's Stars

• mlabonne/llm-course

  Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

  Language:Jupyter Notebook39.4k409684.2k

• satwikkansal/wtfpython

  What the f*ck Python? 😱

  Language:Python35.8k7252082.7k

• pydantic/pydantic

  Data validation using Python type hints

  Language:Python21.3k1184.7k1.9k

• KindXiaoming/pykan

  Kolmogorov Arnold Networks

  Language:Jupyter Notebook15.1k1134121.4k

• PySimpleGUI/PySimpleGUI

  Python GUIs for Humans! PySimpleGUI is the top-rated Python application development environment. Launched in 2018 and actively developed, maintained, and supported in 2024. Transforms tkinter, Qt, WxPython, and Remi into a simple, intuitive, and fun experience for both hobbyists and expert users.

  Language:Python13.5k2333.7k1.8k

• Nuitka/Nuitka

  Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.13. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.

  Language:Python12.1k1382.5k650

• smacke/ffsubsync

  Automagically synchronize subtitles with video.

  Language:Python6.8k77155279

• google/gemma.cpp

  lightweight, standalone C++ inference engine for Google's Gemma models.

  Language:C++6k3988509

• mbrlabs/Lorien

  Infinite canvas drawing/whiteboarding app for Windows, Linux and macOS. Made with Godot.

  Language:GDScript5.5k55165240

• SkyTubeTeam/SkyTube

  Copylefted libre / open source YouTube player for Android

  Language:Java2.4k84683329

• eProsima/Fast-DDS

  The most complete DDS - Proven: Plenty of success cases. Looking for commercial support? Contact info@eprosima.com

  Language:C++2.2k831.1k777

• Introduction-to-Autonomous-Robots/Introduction-to-Autonomous-Robots

  Introduction to Autonomous Robots

  Language:TeX1.7k8145321

• KaisenAmin/c_std

  Implementation of C++ standard libraries in C

  Language:C1.2k181472

• lcm-proj/lcm

  Lightweight Communications and Marshalling

  Language:Java1k64267393

• eclipse-cyclonedds/cyclonedds

  Eclipse Cyclone DDS project

  Language:C88851821363

• sarsko/CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  Language:Rust61481012

• rochus-keller/LeanQt

  LeanQt is a stripped-down Qt version easy to build from source and to integrate with an application.

  Language:C++570121720

• upb-lea/Inkscape_electric_Symbols

  Electrical symbol library for the vector graphics program Inkscape.

  395341856

• highperformancecoder/minsky

  A systems dynamics economics modeling software

  Language:C++309193352

• upb-lea/gym-electric-motor

  Gym Electric Motor (GEM): An OpenAI Gym Environment for Electric Motors

  Language:Python3052313469

• nasa/pvslib

  NASA PVS Library of Formal Developments

  Language:Common Lisp26731350

• naivesystems/analyze

  NaiveSystems Analyze is a static analysis tool for code security and compliance.

  Language:C++1745624

• tofgarion/spark-by-example

  SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

  Language:Ada15315216

• cjdrake/seqlogic

  Sequential Logic

  Language:Python99211

• eclipse-cyclonedds/cyclonedds-python

  Language:Python651210347

• eProsima/Fast-DDS-python

  Python bindings for Fast DDS. Looking for commercial support? Contact info@eprosima.com

  Language:C++6083414

• Aalto-Electric-Drives/electric-machine-drives

  Lecture Notes: Fundamentals of Electric Machine Drives

  26208

• TimSchell98/PyWorld3-03

  2005 updated version of PyWorld3

  Language:Python25303

• prekageo/optistate

  Language:Python18526

• M2X-Project/m2x

  Interface for communication between mobile robots (MR) and warehousing in automated guided vehicle systems (AGVS)

  Language:HTML41