Highlights
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- AGS Script
- Ada
- AppleScript
- Arduino
- Assembly
- Astro
- Batchfile
- BitBake
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- CWeb
- Chapel
- Classic ASP
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Eagle
- Edge
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- Frege
- GLSL
- Gherkin
- Gleam
- Go
- Groff
- HCL
- HLSL
- HTML
- Harbour
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Just
- KiCad Layout
- Koka
- Kotlin
- LLVM
- Lean
- Lex
- Lua
- MATLAB
- MDX
- MLIR
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Mercury
- Meson
- Metal
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Propeller Spin
- Python
- QML
- QMake
- R
- RPC
- RobotFramework
- Rocq Prover
- Roff
- Rouge
- Ruby
- Rust
- SCSS
- SMT
- SQF
- SWIG
- Sage
- Sail
- Sass
- Scala
- Scheme
- ShaderLab
- Shell
- Smarty
- SourcePawn
- Squirrel
- Starlark
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Terra
- TypeScript
- Typst
- VBA
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic .NET
- Vue
- WGSL
- Xmake
- YAML
- Zig
- nesC
Finite state machine framework for Rust with readable specifications
NVIDIA Isaac Sim™ is an open-source application on NVIDIA Omniverse for developing, simulating, and testing AI-driven robots in realistic virtual environments.
Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is based on various efficient Differential Dynamic Programming (DDP)-like algorithms
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
Fast, accurate & comprehensive text measurement & layout
EgoVerse: Egocentric Data for Robot Learning from Around the World
Assembly super-optimization via constraint solving
A Rust OS kernel autonomously implemented by Claude Code Opus/Sonnet 4.6.
TAPA compiles task-parallel HLS program into high-performance FPGA accelerators. Community-maintained.
Harden-Runner is a CI/CD security agent that works like an EDR for GitHub Actions runners. It monitors network egress, file integrity, and process activity on those runners, detecting threats in re…
OpenMPTCProuter is an open source solution to aggregate multiple internet connections using Multipath TCP (MPTCP) on OpenWrt
G-code generator for Snapmaker U1 with Full Spectrum layer blending
rclaveau-tech / linux-khadas
Forked from torvalds/linuxLinux kernel source tree -- be careful I rebase my branches !
jeguzzi / RoboMaster-SDK
Forked from dji-sdk/RoboMaster-SDKDJI RoboMaster Python SDK and Sample Code for RoboMaster EP.
A collection of GTSAM factors and optimizers for point cloud SLAM
A toolkit for SQLite databases, with a focus on application development
Lightweight coding agent that runs in your terminal
An RPC framework for Rust with a focus on ease of use.
A tool that disconnects Tuya IoT devices from the cloud, allowing them to run completely locally.
Anycubic Kobra S1 Orcaslicer Profiles, starting with PETG and ABS Material Profiles, Process profiles for Layer heights of 0.08mm, 0,12mm, 0,16mm, 0,20mm, 0,24mm and a new printer profile with enha…
Deserialize any ROS message, without compilation time information.
Kleinkram: Open Robotic Data Management
homr is an Optical Music Recognition (OMR) software designed to transform camera pictures of sheet music into machine-readable MusicXML format.