volatile

wrapper types for raw pointers

bootloader

An experimental x86_64 bootloader that works on both BIOS and UEFI systems

struqture

HQS tool for representing operators, Hamiltonians and open systems

aws-sdk-ssmincidents

AWS SDK for AWS Systems Manager Incident Manager

shred

Dispatches systems in parallel which need read access to some resources, and write access to others

fb_procfs

reading procfs

aws-sdk-ssmcontacts

AWS SDK for AWS Systems Manager Incident Manager Contacts

hdfs-native

Native HDFS client implementation in Rust

svd2utra

SVD to UTRA library generator

nexosim

A high performance asychronous compute framework for system simulation

aws-sdk-ssmsap

AWS SDK for AWS Systems Manager for SAP

asynchronix

[Asynchronix is now NeXosim] A high performance asychronous compute framework for system simulation

subplot

tools for specifying, documenting, and implementing automated acceptance tests for systems and software

ioctl-sys

IO Control for POSIX-and-beyond systems (core fn & macros, see ioctls for many ioctl definitions)

atmosphere

A lightweight sql framework for sustainable database reliant systems

wincompatlib

Set of interfaces to run windows applications on unix-like systems using Wine

edict

Powerful entity-component-system library

ci-id-bin

CLI app to detect ambient OIDC credentials on CI systems

bevy_cobweb

Reactivity primitives for Bevy

rtic-sync

Synchronization primitives for asynchronous contexts

detsys-ids-client

A client for install.determinate.systems

hoard

backups of files across your filesystem into one location

subplot-bin

tools for specifying, documenting, and implementing automated acceptance tests for systems and software

tritium_remote

connecting to remote Robots running TritiumOS

arachne

Humble Nix framework and Rust CLI for multi-node systems

aws-sdk-ssmquicksetup

AWS SDK for AWS Systems Manager QuickSetup

ccs

Calculus of Communicating Systems by Robin Milner

twitter/rezolus

High resolution systems performance telemetry agent

liblrs

manipulate linear referencing systems

anim8

Animation toolset

digman

Ticket management systems for solo players

bevy-butler

making Bevy systems more self-documenting

desru

Discrete Event Simulation in Rust (DESRu)

coordinates

no nonsense, library for using two and three dimensonal coordinates in several systems

robonet

manage network connectivity and to facilitate remote access to robots

netidx-netproto

netidx wire protocol

qdk_sim_rs

Rust-based simulators for use with the Quantum Development Kit

relog

Strong String Normalization

tether-egui

GUI for building and testing Tether-based applications

cortex-m-rtic

Real-Time Interrupt-driven Concurrency (RTIC): a concurrency framework for building real-time systems

hecs-schedule

shedulable systems and parallel execution for hecs

neotron-common-bios

Contains the BIOS API and common routines for all Neotron systems

komodo

cryptographically-proven erasure coding for distributed systems

limnus-system-state

Keeps the state that is provided to systems

hadris-fat

working with FAT32 file systems, a standalone crate included in the hadris project

r1

edict-proc-lib

Powerful entity-component-system library

parse_rc_ibus

parser for FlySky IBUS

oldwin-platform-vc-ltl5-x86-win8

OldWin VC-LTL5 library for Windows 8

ed-system-search

Find interesting systems in the EDSM data dump

limnus-stage

Limnus stage that holds a vector of systems

arcflash

Arc flash calculations according to IEEE 1584

pact

Compact and streamable data format that works anywhere--from web apps to robots

struqture-py

Python interface of struqture, the HQS tool for representing operators, Hamiltonians and open systems

streambed-confidant

Confidant is a small library that implements a file-system-based secret store

electosim

compute electoral methods (as D'Hondt) and simulate elections

magma_ecs

Entity-Component-System for the Magma3D game engine

ci-id

Ambient OIDC credentials detection on CI systems

micro_games_macros

macros to make it easier to build complex systems with Bevy

numerals

numeric systems, both ancient and modern

bevy_sorting

Sorting bevy systems based on reads and writes

winauth

Windows Authentication in Rust (NTLMv2)

fat_fs_types

low-level definitions for FAT12/16/32 and exFAT file systems

world_dispatcher

System part of a full ECS, along with a fast dispatcher and world container

cargo-ramdisk

Create target folder as a ramdisk for faster Rust compilation

type-fn

Allows for simpler coding of type-level logic, e.g. for type-number systems.

silico-calculator

A dead simple, Windows-like calculator available on all major operating systems and desktop environments

blua

bevy lua integration for doing systems in lua

mm-std-embedded-nal

embedded-nal traits for large devices that support the standard library

linkbudget

A link budget toolbox for satellite communications

w65c02s

Cycle-accurate, exhaustively tested simulator of W65C02S microprocessor

stm32cubeprog-rs

Rust API for STM32CubeProgrammer

persist_if_changed

persisting data to disk only if it has changed

choco

markup language for dialogue systems

tudelft-xray-sim

simulation library for the modeling assignment in the course 'Software Systems' at the TU Delft

sceller

An ECS crate written in Rust based on the tutorial series by Brooks Builds on Youtube

swamp-system-state

Keeps the state that is provided to systems

acp_models

An API specification for communication between the ACP Self Service Frontend and Backend systems

geoconvert

A lightweight library to convert between geographic coordinate systems

xi-trace

Library-based distributed tracing API to meet the needs of xi-core, frontends and plugins

cecs

Entity database for the game 'Cao-Lo'

gptinfo

A CLI tool to analyze partition tables

ddomain

Ticket management systems for solo players

datagen_gnss

Data generator in json format for test meeasurement systems

dapplication

Ticket management systems for solo players

sqlite-vfs

Build SQLite virtual file systems (VFS) by implementing a simple Rust trait

swamp-system-runner

Runs swamp systems

langmore

A KV Store Based On Write-Ahead Log

qmc

Quantum Monte Carlo simulations in Rust

dpresentation

Ticket management systems for solo players

passring

Secret remote electronic voting based on ring signatures

tnaps

entity-component-system framework in Rust

depict

Picture systems, tell stories

gravitron_ecs

performant ECS for Gravitron

realpath-ext

realpath() (with some extensions) for *nix systems

dinfrastructure

Ticket management systems for solo players

impeller

Column-based protocol for transferring ECS data between different systems

cluster-registry

cluster registry

csparse21

Sparse Matrix Solver

sparse21

Sparse Matrix Solver

rust_sbml

A parser for SBML

spry

Resilient, self-healing async process hierarchies in the style of Erlang/OTP

exa_api_client

client for interacting with the Exa/Metaphor systems API

houdini

that allows you to delete your executable while it's running

rtic-common

lib TODO

foraget

universal package manager for Unix-like systems

pdf_encoding

Font related encodings

disk-types

Common traits and types for handling block devices, partitions, file systems, etc

ptnet-elementary

ptnet-core for Elementary nets (EN)

ascesis

A language for analysis and synthesis of cause-effect synchronised interacting systems

mech-utilities

Shared components and utilities for Mech

girt-todo-file

Todo file systems for git-interactive-rebase-tool

response-time-analysis

Definitions and algorithms for response-time analysis of real-time systems

resm

Remote Server Management tools

lpc55-rtic

Real-Time Interrupt-driven Concurrency (RTIC): a concurrency framework for building real-time systems

yacexits

no_std exit() reimplementation supporting sysexits.h

chunked-buffer

A chunked buffer for memory constrained systems

despero-hecs-schedule

shedulable systems and parallel execution for hecs

solana-perf

Solana Performance APIs

contained

research project implementing the proposed harmonic runtime for orchestrating cloud-native systems

dinglebit-config

simplified configuration interface

keeshond_treats

Easy building blocks for Keeshond so you can start making your games sooner

tudelft-arm-qemu-runner

The runner code for the TU Delft Software Systems course

codes-iso-15924

This package contains an implementation of the ISO 15924 Codes for the representation of names of scripts specification

linux_raw_input_rs

grab raw input from keyboard in linux systems

vfs-https

Exposes a Virtual File Systems (VFS) via HTTPS

dims_core

Core Utils for Generating Units and Systems

snore

Runs for the given time and is similar to the Unix 'sleep' command

johnston

generatating JI pitch lattices

eventually-util

Extension crate containing utility components for using Event Sourcing in Rust applications

dcollector

Data collector, that uses TimescaleDB for Postgresql 13+ to store the data

pulz-schedule

For scheduling systems and managing their resources

min-tun

finding the minimum available TUN device on Linux systems

upend

A user-oriented all-purpose graph database

async-maelstrom

that allows distributed applications to work with Maelstrom

mortalsim-human

MortalSim Human

picotoml

A no_std TOML deserializer build for embedded systems. Can be used without an allocator

rantlib

Analysis Library for Non-linear Dynamical Systems written in Rust

neotron-ffi

Common types for FFI in Rust on Neotron Systems

x-server-stats

web server to display server stats over HTTP and Websockets

cargo-watch-plus

Cross-platform file watching library

ambient_rect

Ambient rectangle definition. Host-only.

nested-modules

Building blocks for nested module systems

streaming-harness

A benchmarking harness for streaming systems

rant-simulator

Analysis Tool for Non-linear Dynamical Systems written in Rust

navigator

A Macro-heavy Domain-Specific Language for console apps with menu systems

immo

Processing of various images (e.g., drawing of square systems)

tpfs_logger_port

A generic interface definition to support logging

spsolve

Solve sparse systems of linear equations

basic_bevy_pixel_camera

set of coponents, schedules, systems and helper functions to create any type of pixel camera

socketcand

parser for small systems

contained-net

contained is a research project implementing the proposed harmonic runtime for orchestrating cloud-native systems

zonename

Bindings to getzoneid(3C), getzoneidbyname(3C), and getzonenamebyid(3C) for illumos based systems

pc-beeper

The most primitive audio device available on PC-compatible systems with characteristic 'beeps' and 'squeaks'

sqlite-vfs-ic

Build SQLite virtual file systems (VFS) by implementing a simple Rust trait

zetelverdeling

🦀 library to allocating seats in voting systems

flo_canvas_events

User input events for a flo_draw canvas

contained-music

contained is a research project implementing the proposed harmonic runtime for orchestrating cloud-native systems

stateful_faas_sim

Simulator of stateful FaaS systems

lsode

Solve systems of differntial equations using LSODE subroutine from ODEPACK written in Fortran

async-embedded-traits

A set of async traits for embedded systems

fly

Convergent Replicated Data Types in Rust

micro_quest

Structures and systems for managing game dialog & quests

contained-turing

contained is a research project implementing the proposed harmonic runtime for orchestrating cloud-native systems

tuning_systems

that provides ratios for different musical tuning systems

systems_design

a littlet test

safecoin-banks-interface

Safecoin banks RPC interface

contained-actors

contained is a research project implementing the proposed harmonic runtime for orchestrating cloud-native systems

cortex-m-rtfm

Real Time For the Masses (RTFM): a concurrency framework for building real time systems

thinkofname/think_ecs

Source code of the game Univercity: https://store.steampowered.com/app/808160/UniverCity/

ldl

LDL factorisation for quasi-definite linear systems

binter

Brainfuck interpreter for unix based systems

sparkles-core

Core crate for sparkles

shared

A macro for safely sharing data between application and interrupt context on cortex-m systems

filelock

work in progress

tpfs_logger_log4rs_adapter

A Ports and Adapters-based implementation of structured logging for Transparent Systems

ascetic_cli

Command-line tools for analysis and synthesis of cause-effect synchronised interacting systems

lightspark

SDK

tiny-nmea

A tiny NMEA parser for embedded systems. Works with #[no_std] and doesn’t require heap allocation. and doesn’t require heap allocation

bevy-butler-core

Internal type definitions for bevy-butler

uefi-eventlog

UEFI Event Log parser

realpath

returns the canonicalized absolute pathname

dental-notation

converting between different tooth numbering systems

ldpfuse

CLI utility to be used with LDP_FUSE. See https://github.com/sholtrop/ldpfuse for more info.

executables

list all executables found in PATH on unix systems

safecoin-perf

Safecoin Performance APIs

megalock

X11 xlock replacement

std3

Standard library for operating systems, useful for rust-osdev

tapir-cwtch

Tapir is a small library for building p2p applications over anonymous communication systems

diman_lib

Commonly used types for internal use in diman

metio

interacting with metio compliant systems

mwaka

A UI toolkit for building accessible web apps and design systems with Leptos

bevy-butler-proc-macro

Procedural macro definitions for bevy-butler

sylasteven

The fundamental logic for creating a modular engine

sysunit

A minimal state management tool for POSIX systems

cellular_env

An enviroment for simulation of physical systems (and possibly general purpose computation) using cellular automata, written in Rust

deterministic

building blocks for testable systems