dadada

dadada's Stars

• probe-rs/probe-rs

  A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

  Language:Rust1.9k395

• elisa-tech/BASIL

  Software Quality Management Tool

  Language:TypeScript172

• alexforencich/verilog-ethernet

  Verilog Ethernet components for FPGA implementation

  Language:Verilog2.4k716

• dtolnay/trybuild

  Test harness for ui tests of compiler diagnostics

  Language:Rust83270

• BurntSushi/quickcheck

  Automated property based testing for Rust (with shrinking).

  Language:Rust2.5k151

• morph-kgc/morph-kgc

  Powerful RDF Knowledge Graph Generation with RML Mappings

  Language:Python19635

• stardog-union/stardog-language-servers

  Language Servers for Stardog Languages

  Language:TypeScript306

• wucke13/make-presentation-video

  Language:Makefile3

• rumpeltux/onlineticket

  Parser for online-tickets according to ETF-918.3

  Language:Python7010

• johnthagen/min-sized-rust

  🦀 How to minimize Rust binary size 📦

  Language:Rust8.4k215

• RazrFalcon/cargo-bloat

  Find out what takes most of the space in your executable.

  Language:Rust2.4k51

• NewForester/adsbsim

  A simple program for the simulation of ADS-B input as MAVLink messages

  Language:Rust51

• ojack/hydra

  Livecoding networked visuals in the browser

  18111

• aeronautical-informatics/ODME

  Operational Domain Modelling Environment

  Language:Java42

• numtide/nix-filter

  a small self-contained source filtering lib

  Language:Nix20317

• ferrocene/ferrocene

  Source code of Ferrocene, safety-critical Rust toolchain

  Language:Rust1.3k37

• ferrocene/specification

  Ferrocene Language Specification

  Language:Python40230

• gwsystems/aWsm

  WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.

  Language:C31319

• pico-coder/sigrok-pico

  Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok

  Language:C83895

• nix-community/home-manager

  Manage a user environment using Nix [maintainer=@rycee]

  Language:Nix7.4k1.9k

• denki/listings-rust

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

  Language:TeX17429

• enjoy-digital/liteeth

  Small footprint and configurable Ethernet core

  Language:Python21888

• icyphy/ptII

  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.

  Language:Java10144

• lf-lang/lingua-franca

  Intuitive concurrent programming in any language

  Language:Java24463

• snkas/hypatia

  Low earth orbit (LEO) satellite network simulation framework.

  Language:C++320118

• rust-embedded/cortex-m

  Low level access to Cortex-M processors

  Language:Rust844157

• rtic-scope/itm

  ARMv7-M ITM packet protocol decoder library crate and CLI tool.

  Language:Rust198

• rosenpass/rosenpass

  Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

  Language:Rust1.1k91

• nix-community/disko

  Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht]

  Language:Nix2k206

• Digilent/digilent-xdc

  A collection of Master XDC files for Digilent FPGA and Zynq boards.

  Language:Tcl529571