ytakano

awkernel. Awkernel: realtime operating system written in Rust

http. Rust HTTP types

KawaiiPhysics. KawaiiPhysics : Simple Bone Physics for UnrealEngine 4 & 5

edge-net. async + no_std + no-alloc implementations of various network protocols

bravo-rwlock-rs. yet another read write lock.

rlsf-verified. Formally verified memory allocator for Rust.

rlsf. Constant-time dynamic memory allocator in Rust

unikraft. FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.

Raspberry-Pi-DMA-Tutorial. A step-by-step guide on using DMA to achieve high-speed sampling on Raspberry Pi

smoltcp. a smol tcp/ip stack

ixy.rs. Rust rewrite of the ixy network driver

picoserve. An async no_std HTTP server suitable for bare-metal environments, heavily inspired by axum

acpi. Rust library for parsing ACPI tables and interpreting AML

ydlidar_driver. Rust

ydlidar_driver.

iip. iip: an integratable TCP/IP stack

system_software_team_hp. Python

embedded-graphics. A no_std graphics library for embedded applications

usb-device. Experimental device-side USB framework for microcontrollers in Rust.

embedded-sdmmc-rs. A SD/MMC library with FAT16/FAT32 support, suitable for Embedded Rust systems

kurbo. A Rust library for manipulating curves

shinjuku. C

ron-osdi2023. C

rk3588-TRM-and-Datasheet. Rockchip rk3588(s) Technical Reference Manual and Datasheet

qpsolvers. Quadratic programming solvers in Python with a unified API

CarVal. OpenEdge ABL

dear_ros_node_viewer. Dear RosNodeViewer: Visualize ROS2 Node Graph

perf_kernel. Multicore x64 kernel with a focus on introspection and debugging capabilities.

dust-dds. Rust implementation of the Data Distribution Service (DDS)

pflock. :lock: A "phase-fair" reader-writer spinlock

mosaic. The MOSAIC Operating Systems Model and Checker

armv8-bare-metal. C

pi4-irq-SystemTimer. a minimal code to test system timer interrupt during a main loop on raspberry Pi4 and aarch64

tlaplus. TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

YabLoc. Open source visual localization for self-driving vehicles

inkwell. It's a New Kind of Wrapper for Exposing LLVM (Safely)

ladybird-rust-ws. Trial for baremetal rust-riscv programming

listings-rust. A Rust language and style specification for the LaTeX-package listings

ariane. Ariane is a 6-stage RISC-V CPU

umber_dds. Rust

heaphook. Replace all the dynamic heap allocation functions by LD_PRELOAD.

ivy. IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

rust-elfloader. Library to load and relocate ELF files.

safe_drive. safe_drive: Formally Specified Rust Bindings for ROS2

bootloader. An experimental pure-Rust x86 bootloader

vscode-tlaplus. TLA+ language support for Visual Studio Code

kani. Kani Rust Verifier

loom. Concurrency permutation testing tool for Rust.

veribetrkv-osdi2020. VeriBetrKV OSDI'20 artifact

DuoAI. Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.

AWSIM. Open sourced digital twin simulator for Autoware

erg. A statically typed language compatible with Python

riker. Always-Correct and Fast Incremental Builds from Simple Specifications

utokyo_syspro_baremetal. Baremetal environment for "System programming lab" class in Dept. of Information Science, The University of Tokyo

SynCord. https://rs3lab.github.io/SynCord/

mdbook-mermaid. A preprocessor for mdbook to add mermaid support

autoware. Autoware - the world's leading open-source software project for autonomous driving

indexmap. A hash table with consistent order and fast iteration; access items by key or sequence index

ldt. Linux Driver Template

rust-psp. Rust on PSP. Panic and allocation support. Access PSP system libraries.

flume. A safe and fast multi-producer, multi-consumer channel.

unwinding. Stack unwinding library in Rust

CommunityModules. TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

executer_exam. repository for checking behavior of ROS2 executors and callback group

rclrust. Yet another ROS2 Rust client

drill-redis. Rewrite Redis in Rust for evaluation and learning.

conc_ytakano. 『並行プログラミング入門』(O'Reilly Japan, 2021)

linux. Adding support for the Rust language to the Linux kernel.

Rudra. Rust Memory Safety & Undefined Behavior Detection

openqasm. Quantum assembly language for extended quantum circuits

gimli. A library for reading and writing the DWARF debugging format

prusti-dev. A static verifier for Rust, based on the Viper verification infrastructure.

z3.rs. Rust bindings for the Z3 solver.

bap. Binary Analysis Platform

Linux-Kernel-Programming. Linux Kernel Programming, published by Packt

register-rs. Unified interface for type-safe MMIO and CPU register access in Rust

homebrew-qemu-virgl. A homebrew tap for qemu with support for 3d accelerated guests

arr_macro. Initialize arrays with ease!

qc-workbook. Quantum computing workbook by ICEPP

wio-blink-template. Wio Terminal で L チカを試すための組込み Rust プロジェクトテンプレートです。

wio-terminal-blink-rs. Wio Terminal で L チカする

Embedded-Rust-from-Basics. 中林智之、井田健太が執筆した『基礎から学ぶ 組込みRust』 (C&R研究所) のサポートサイトです。

pine64. Pine64 Linux images and information

QUIC-FStar. An implementation of the IETF QUIC protocol in F*

verimqtt. verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。

linux-kernel-module-cheat. The perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and KGDB just work. Powered by Buildroot and crosstool-NG. Highly automated. Thoroughly documented. Automated tests. "Tested" in an Ubuntu 24.04 host.

proc-macro-workshop. Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

ocaml-interop. OCaml<->Rust FFI with an emphasis on safety.

CoqFormalVerification. Coq

sesh. A library for deadlock-free session-typed communication in Rust.

Anime-Girls-Holding-Programming-Books. Anime Girls Holding Programming Books

UnicodePlots.jl. Unicode-based scientific plotting for working in the terminal

codespan. Beautiful diagnostic reporting for text-based programming languages.

rust-stm. Software transactional memory

coq2rust. Coq to Rust program extraction. The whole tree is on the original Coq code base.

llvm_template. Shell

tungstenite-rs. Lightweight stream-based WebSocket implementation for Rust.

tokio-tungstenite. Future-based Tungstenite for Tokio. Lightweight stream-based WebSocket implementation

LockingAlgorithmPerformance. Testing the performance of the atomic increment, TestAndSet, MCS and Bakery locks

wenyan. 文言文編程語言 A programming language for the ancient Chinese.

Pigeonhole-Principle. Solution to the Pigeonhole Principle exercise in Software Foundations, without excluded middle.

u-boot-pine64. Pine64 U-Boot with patches to compile and boot fixed BSP Kernel in a sensible way

raspberry-pi-os. Learning operating system development using Linux kernel and Raspberry Pi

devicetree-specification. Devicetree Specification document source files

napalm. Network Automation and Programmability Abstraction Layer with Multivendor support

neqo. Neqo, the Mozilla Firefox implementation of QUIC in Rust

arm-trusted-firmware. Read-only mirror of Trusted Firmware-A

wiwinwlh. What I Wish I Knew When Learning Haskell

tools. C

firmware. This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.

everest. Shell

arm64-hypervisor-tutorial. Assembly

rust-raspberrypi-OS-tutorials. :books: Learn to write an embedded OS in Rust :crab:

baremetal_pi4_irq_sample. C

circle. A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)

baremetal-arm. An ebook about bare-metal programming for ARM

raspi3-tutorial. Bare metal Raspberry Pi 3 tutorials

abi-aa. Application Binary Interface for the Arm® Architecture

karamel. KaRaMeL is a tool for extracting low-level F* programs to readable C code

trex-core. trex-core site

DDIR. DDIR: An Open Source Dataset for Darkweb Research

ember. Elastic Malware Benchmark for Empowering Researchers

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

write-you-a-haskell. Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

libelfin. C++11 ELF/DWARF parser

prevail. eBPF verifier based on abstract interpretation

libelfin. C++11 ELF/DWARF parser

AutoSploit. Automated Mass Exploiter

sgx-tutorial-ccs17. SGX Tutorial at CCS17: SGX Security and Privacy

warp17. The Stateful Traffic Generator for Layer 1 to Layer 7

xdp-tutorial. XDP tutorial

exist. EXIST is a web application for aggregating and analyzing cyber threat intelligence.

dpdk-ans. ANS(Accelerated Network Stack) on DPDK, DPDK native TCP/IP stack.

PlotNeuralNet. Latex code for making neural networks diagrams

snowman. Snowman decompiler

PEGTL. Parsing Expression Grammar Template Library

cpp-peglib. A single file C++ header-only PEG (Parsing Expression Grammars) library

hat-trie. C++ implementation of a fast and memory efficient HAT-trie

open-lambda. An open source serverless computing platform

Dejavu. DejaVU - Open Source Deception Framework

ClickNF. C++

base-drafts. Internet-Drafts that make up the base QUIC specification

passforios. Pass for iOS - an iOS client compatible with Pass command line application.

netmap-tutorial. Netmap tutorial at SIGCOMM 2017 and AsiaBSDCon 2018

bess. BESS: Berkeley Extensible Software Switch

session-types. Rust

vuls. Agent-less vulnerability scanner for Linux, FreeBSD, Container, WordPress, Programming language libraries, Network devices

session-ocaml. An implementation of binary session types in OCaml

cytrone. CyTrONE: Integrated Cybersecurity Training Framework

Modbus_dataset. Modbus Dataset from CSET 2016

bcc. BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

SATySFi. A statically-typed, functional typesetting system

hopscotch-map. C++ implementation of a fast hash map and hash set using hopscotch hashing

OpenSC2K. OpenSC2K - An Open Source remake of Sim City 2000 by Maxis

minimal-linux. C

HyperDex. HyperDex is a scalable, searchable key-value store

mctls. mcTLS prototype implementation based upon OpenSSL

compiladores. C

functadelic. Scala

distribution. Short, simple, direct scripts for creating ASCII graphical histograms in the terminal.

P. The P programming language.

rarm. ARMv7 emulator written in Rust

WaveFunctionCollapse. Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

farisvm. FARIS: the FAst uniform Resource Identifier-Specific filter

sparsehash-c11. Experimental C++11 version of sparsehash

sparsehash. C++ associative containers

userland-slab-allocator. A carefully optimised, POSIX-compatible slab allocator for userspace.

triebeard. Radix trees in Rcpp and R

FlameGraph. Stack trace visualizer

peloton. The Self-Driving Database Management System

Cavalia. A transactional main-memory database system on multicores

CLHT. CLHT is a very fast and scalable (lock-based and lock-free) concurrent hash table with cache-line sized buckets.

litl. LiTL: Library for Transparent Lock Interposition

lzfse. LZFSE compression library and command line tool

coz. Coz: Causal Profiling

sdsl-lite. Succinct Data Structure Library 2.0

http-prompt. An interactive command-line HTTP and API testing client built on top of HTTPie featuring autocomplete, syntax highlighting, and more. https://twitter.com/httpie

reactive. The Reactive Extensions for .NET

actor-framework. An Open Source Implementation of the Actor Model in C++

llvm. Project moved to: https://github.com/llvm/llvm-project

Emulation. Configuration script to create virtual machines joined by a global shared memory pool

netmap. Automatically exported from code.google.com/p/netmap

tsx-tools. Header files for Intel TSX (Transactional Synchronization Extension) development

deadman. deadman is a curses-based host status checking application using ping

poptrie. An Implementation of Poptrie IP Routing Table Lookup Algorithm

quic. libquic: QUIC (Quick UDP Internet Connections)

dghelper-cpp11. to get out stack frame infomation or type infomation on rutime easily

hiredis. Minimalistic C client for Redis >= 1.2

gthreads-art. A green threads tutorial.

RegexGenerator. This project contains the source code of a tool for generating regular expressions for text extraction: 1. automatically, 2. based only on examples of the desired behavior, 3. without any external hint about how the target regex should look like

libuv. Cross-platform asynchronous I/O

elasticsearch. Free and Open Source, Distributed, RESTful Search Engine

kibana. Your window into all of your data

v8. The official mirror of the V8 Git repository

re2. RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

uBlock. uBlock: a fast, lightweight, and lean blocker for Chrome, Firefox, and Safari.

blessed-contrib. Build terminal dashboards using ascii/ansi art and javascript

Dshell. Dshell is a network forensic analysis framework.

ruby_apk. analyzing android apk library for ruby

imdmtools. Intrepidus Group's iOS MDM tools