Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

auxoncorp

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@auxoncorp

Auxon Corporation

Critical Insights for Critical Systems

Popular repositoriesLoading

  1. ferrosferrosPublic

    A Rust-based userland which also adds compile-time assurances to seL4 development.

    Rust 112 11

  2. bounded-registersbounded-registersPublic

    Using Type-Level Programming in Rust to Make Safer Hardware Abstractions

    Rust 51 5

  3. tnfilttnfiltPublic

    Rust 33 1

  4. selfe-sysselfe-sysPublic

    A generated thin wrapper around libsel4.a, with supporting subcrates.

    Rust 11 6

  5. clj-cucumberclj-cucumberPublic

    A more idiomatic binding of JVM cucumber to Clojure

    Clojure 11 1

  6. fixed-slice-vecfixed-slice-vecPublic

    Vec with dynamic length and runtime-determined capacity backed by a slice. no_std , no-allocator friendly.

    Rust 11 2

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 91 repositories
  • renode Public Forked fromrenode/renode

    Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

    auxoncorp/renode’s past year of commit activity
    RobotFramework0 318 0 0 UpdatedMar 19, 2025
  • auxoncorp/renode-infrastructure’s past year of commit activity
    C#0 151 0 0 UpdatedMar 19, 2025
  • modality-barectf-plugin Public

    A Modality Reflector plugin suite for barectf-generated CTF trace data

    auxoncorp/modality-barectf-plugin’s past year of commit activity
    Rust0Apache-2.00 0 0 UpdatedMar 15, 2025
  • trace-recorder-rtt-proxy Public

    Proxy debug-probe operations and trace recorder RTT data over the network

    auxoncorp/trace-recorder-rtt-proxy’s past year of commit activity
    Rust 1Apache-2.00 0 0 UpdatedMar 14, 2025
  • auxoncorp/modality-can-plugin’s past year of commit activity
    Rust0Apache-2.00 0 0 UpdatedMar 10, 2025
  • can-dbc Public Forked frommarcelbuesing/can-dbc

    Rust dbc parser

    auxoncorp/can-dbc’s past year of commit activity
    Rust0MIT 29 0 0 UpdatedMar 10, 2025
  • auxon-sdk Public
    auxoncorp/auxon-sdk’s past year of commit activity
    Rust 3Apache-2.00 0 0 UpdatedMar 6, 2025
  • tracing-serde-wire Public Forked fromjamesmunns/tracing-serde-wire

    A wire format for tracing-serde-structured

    auxoncorp/tracing-serde-wire’s past year of commit activity
    Rust0Apache-2.0 3 0 0 UpdatedMar 5, 2025
  • auxoncorp/modality-tracing-rs’s past year of commit activity
    Rust0Apache-2.00 0 1 UpdatedMar 4, 2025
  • barectf-parser Public

    A Rust library to parse barectf-generated CTF trace data

    auxoncorp/barectf-parser’s past year of commit activity
    Rust0Apache-2.00 0 0 UpdatedFeb 27, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…

[8]ページ先頭
©2009-2025 Movatter.jp