Pinned Loading

1. olang olang Public

   A compiled, statically-typed DSL for orchestrating AI agent fleets that simulate, formally verify, and synthesize genetic edits. No physical lab action can execute unless all LTL invariants hold. F…

   C++ 1

2. tiny-compiler tiny-compiler Public

   A compiler for a statically-typed language, built with ANTLR4, C++17, and LLVM. Implements a full pipeline from lexing through semantic analysis to native code generation, with closures, first-clas…

   C++ 1

3. lazy_tensor_project lazy_tensor_project Public

   Header-only C++23 lazy tensor library using expression templates and Deducing This (P0847) for zero-overhead AST evaluation, zero-copy broadcasting via strides, and native multidimensional subscrip…

   C++ 1

4. dimensional_analysis_library dimensional_analysis_library Public

   C++20 header-only library that catches unit mismatches at compile time. SI units, 140+ literals, physical constants — zero runtime overhead.

   C++ 1

5. some some Public

   A modern terminal pager with syntax highlighting, regex search, and mouse support — like less, but more.

   Rust 1

6. governance_as_code_go governance_as_code_go Public

   Policy enforcement and compliance checking as first-class Go code constructs. Go port of governance_as_code (C++17).

   Go 1