Auxon Corporation (@auxoncorp)
Guthub

auxoncorp

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    208
  • Global Org. Rank 39,561 (Top 13 %)
  • Registered over 6 years ago
  • Most used languages
    Rust
         78.6 %
    Agda     7.1 %
    Clojure
         7.1 %
    C
         7.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 27,493
  • Country Ranking
    Agda     45
    Rust
         739
    Clojure
         891

Top repositories

1

ferros

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

bounded-registers

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

tnfilt

Rust
23
star
4

clj-cucumber

A more idiomatic binding of JVM cucumber to Clojure
Clojure
11
star
5

selfe-sys

A generated thin wrapper around libsel4.a, with supporting subcrates.
Rust
9
star
6

modality-probe

A distributed causal tracing probe suitable for embedded systems.
Rust
8
star
7

cargo-5730

A workaround for rust-lang/cargo#5730
Rust
8
star
8

fixed-slice-vec

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

ferros-spec

A repository containing specifications and proofs about Ferros.
Agda
3
star
10

babeltrace2-sys

Rust
2
star
11

modality-sdk

Rust
2
star
12

forceatlas2-minimal

A fork of forceatlas2 that is cut down in features to be accessible on stable rust
Rust
1
star
13

modality-probe-elixir

Elixir bindings for modality-probe
Rust
1
star
14

freertos-linux-gazebo-demo

C
1
star