-
-
-
devenv Public
Forked from cachix/devenvFast, Declarative, Reproducible, and Composable Developer Environments
Nix Apache License 2.0 UpdatedMay 1, 2024 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedMar 11, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJan 14, 2024 -
not-os Public
Forked from cleverca22/not-osAn operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.
Nix MIT License UpdatedJan 5, 2024 -
mujoco Public
Forked from google-deepmind/mujocoMulti-Joint dynamics with Contact. A general purpose physics simulator.
C++ Apache License 2.0 UpdatedNov 20, 2023 -
SdfLib Public
Forked from UPC-ViRVIG/SdfLibSdfLib is a library for accelerating the queries of signed distance fields from triangle meshes
C++ MIT License UpdatedNov 5, 2023 -
fuzzywuzzy Public
A C++ port of the Python module under the same name
-
awesome-embedded-rust Public
Forked from rust-embedded/awesome-embedded-rustCurated list of resources for Embedded and Low-level development in the Rust programming language
Other UpdatedSep 10, 2022 -
-
atsamd Public
Forked from vcchtjader/atsamdTarget atsamd microcontrollers using Rust
Rust Apache License 2.0 UpdatedJul 12, 2022 -
masters-thesis Public archive
RTIC Scope: Real-Time Tracing Support for the RTIC RTOS Framework: master's thesis done at Luleå Technical University, Sweden. Written in Org-mode.
-
bookwyrm Public archive
ncurses utility for downloading publicly available ebooks, plugin support
-
cortex-m Public
Forked from rust-embedded/cortex-mLow level access to Cortex-M processors
Rust Apache License 2.0 UpdatedJan 2, 2022 -
LinuxGSM Public
Forked from GameServerManagers/LinuxGSMThe command-line tool for quick, simple deployment and management of Linux dedicated game servers.
Shell MIT License UpdatedDec 22, 2021 -
wg Public
Forked from rust-embedded/wgCoordination repository of the embedded devices Working Group
UpdatedDec 14, 2021 -
include_dir Public
Forked from Michael-F-Bryan/include_dirThe logical evolution of the include_str macro for embedding a directory tree into your binary.
Rust MIT License UpdatedOct 27, 2021 -
-
-
ed7039e Public archive
Model, simulation and implementation of a mechatronical system for use in a mimicked industrial environment using UWB localization. Task dispatch via Arrowhead. Reproducibly built via Nix.
-
cortex-m-rtic Public
Forked from rtic-rs/rticReal-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
Rust Apache License 2.0 UpdatedApr 21, 2021 -
-
rtic-syntax Public
Forked from rtic-rs/rtic-syntaxParser of the app! macro used by the Real-Time Interrupt-driven Concurrency (RTIC) framework
Rust Apache License 2.0 UpdatedApr 15, 2021 -
addr2line Public
Forked from gimli-rs/addr2lineA cross-platform `addr2line` clone written in Rust, using `gimli`
Rust Apache License 2.0 UpdatedApr 9, 2021 -
-
probe-rs Public
Forked from probe-rs/probe-rsA debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
Rust Apache License 2.0 UpdatedMar 6, 2021 -
-
lcm Public
Forked from lcm-proj/lcmLightweight Communications and Marshalling
Java GNU Lesser General Public License v2.1 UpdatedOct 21, 2020 -