Popular repositories Loading
-
irone
irone Publicirone — Rust security analytics for AWS Security Lake (OCSF detection rules, investigation graphs, Lambda deployment)
Rust
-
-
l42-cognito-passkey
l42-cognito-passkey PublicSelf-hosted JavaScript authentication library for AWS Cognito with WebAuthn/Passkey support. Rust Token Handler backend with Cedar authorization.
JavaScript
-
-
exo-self
exo-self PublicCognitive ecology for Claude Code — traces, observations, and stigmergic coordination across sessions
Rust
Repositories
- exo-self Public
Cognitive ecology for Claude Code — traces, observations, and stigmergic coordination across sessions
lexicone42/exo-self’s past year of commit activity - gleisner Public
Supply chain security for Claude Code — sandbox sessions, attest every action, verify provenance
lexicone42/gleisner’s past year of commit activity - plcmon Public
HomePlug AV powerline network monitor — speaks the protocol directly in Rust. TUI with live diagnostics, MIMO/SISO detection, and adapter restart.
lexicone42/plcmon’s past year of commit activity - irone Public
irone — Rust security analytics for AWS Security Lake (OCSF detection rules, investigation graphs, Lambda deployment)
lexicone42/irone’s past year of commit activity - shortest-decimal Public
Generic verified float-to-decimal roundtrip theorem in Lean 4 — covers Ryu, Dragonbox, Schubfach, and all shortest-decimal algorithms
lexicone42/shortest-decimal’s past year of commit activity - ryu-lean4 Public
Formal verification of the Ryu float-to-string algorithm in Lean 4 — complete roundtrip proof for all finite IEEE 754 doubles
lexicone42/ryu-lean4’s past year of commit activity
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…