A pleasant note-taking platform with native speed, majoring in Markdown, MindMap, Typst, and plain text.
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
F´ - A flight software and embedded systems framework
- flight-software
- embedded-systems
- nasa
- cpp
a cross-platform, terminal-based music player, audio engine, metadata indexer, and server in c++
- audio-player
- audio-engine
- music-player
- terminal
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
- robotics
- dynamics
- analytical-derivatives
- kinematics
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
- optimization
- nonlinear
- derivatives
- code-generation
Multi Theft Auto is a game engine that turns Grand Theft Auto: San Andreas into networked multiplayer.
- multiplayer
- multi-theft-auto
- scripting
- lua
NASA Astrobee Robot Software
libTorrent BitTorrent library
Local inference engine for Qwen3.8-Flash-Next on NVIDIA Blackwell
Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.
Open-source image viewer and editor for Linux. View HEIC, AVIF, JPEG XL, RAW previews, and Motion Photos in fullscreen or floating windows.
- avif
- heic
- image-editor
- image-viewer
Key-Value store for Swift backed by LevelDB
A cross-platform unit testing tool for MOS 6502 assembly
- 6502
- 6502-emulation
- unit-testing
- json-schema