sabbatique

sabbatique's Stars

• DGBTechnologies/SAFEST

  Language:Dockerfile21

• CelestiaProject/Celestia

  Real-time 3D visualization of space.

  Language:C++1.8k299

• Stellarium/stellarium

  Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.

  Language:C++7.3k798

• extesy/hoverzoom

  Google Chrome extension for zooming images on mouse hover

  Language:JavaScript1.1k179

• ezaffanella/PPLite

  PPLite: convex polyhedra library for Abstract Interpretation

  Language:C++14

• rwl/PYPOWER

  Port of MATPOWER to Python

  Language:Python318110

• BehaviorTree/BehaviorTree.CPP

  Behavior Trees Library in C++. Batteries included.

  Language:C++2.8k624

• infinityglow/COMP90054-AI-Planning-for-Autonomy

  Language:Python155

• binpash/try

  Inspect a command's effects before modifying your live system

  Language:Shell5.2k65

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k49

• sarsko/CreuSAT

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

  Language:Rust59810

• mozilla/cargo-vet

  supply-chain security for Rust

  Language:Rust61341

• google/rust-crate-audits

  21610

• MADPToolbox/MADP

  The Multiagent Decision Process (MADP) Toolbox - planning and learning in multiagent systems.

  Language:C++7422

• moves-rwth/storm

  A Modern Probabilistic Model Checker

  Language:C++12573

• randriu/synthesis

  Language:templ2115

• TAPAAL/verifydtapn

  Verification engine for TAPAAL that uses the discrete semantics and supports EF, AG, EG and AF queries also for nets with weighted arcs but only with closed intervals.

  Language:C++36

• TAPAAL/verifytapn

  VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.

  Language:C++13

• EricGuo5513/HumanML3D

  HumanML3D: A large and diverse 3d human motion-language dataset.

  Language:Python65764

• koverstreet/bcachefs

  Language:C62669

• simonlegrand/reflector

  Application of the Monge Ampere program to the reflector problem

  Language:Python6

• awslabs/shuttle

  Shuttle is a library for testing concurrent Rust code

  Language:Rust58729

• jkfran/killport

  A command-line tool to easily kill processes running on a specified port.

  Language:Rust1.7k37

• snavas/GECCO

  Gesture-Enabled Remote Communication and Collaboration

  Language:HTML5

• JSBSim-Team/jsbsim

  An open source flight dynamics & control software library

  Language:C++1.3k430

• bulletphysics/bullet3

  Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

  Language:C++12.2k2.8k

• trailofbits/it-depends

  A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositories.

  Language:Python32420

• kaldi-asr/kaldi

  kaldi-asr/kaldi is the official location of the Kaldi project.

  Language:Shell13.9k5.3k

• bayesoptbook/bayesoptbook.github.io

  Companion webpage for the book "Bayesian Optimization" by Roman Garnett

  Language:HTML86042

• IntelRealSense/RealSenseID

  Intel® RealSense™ ID SDK

  Language:C++9456