LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Rust

cadenza

camshaft/cadenza

RustEmerging
GitHubWebsite
Stars
—
Forks
—
Contributors
3
Last push
18d ago

Recent commits

Latest commits.

  • test: remove repo path from K snapshots (#145)
    370dba9Copilot4mo ago
  • build: add cachix caches to flake and CI (#144)
    7815edcCopilot4mo ago
  • feat: implement more let pattern matching (#142)
    b25c4e5Cameron Bytheway4mo ago
  • feat: add K framework reference implementation (#141)
    0397691Copilot4mo ago
  • feat: add meta compiler (#137)
    70248bdCameron Bytheway6mo ago
feat: create cadenza top-leevl crate (#136)
bfcbdbdCameron Bytheway6mo ago
  • feat: implement Salsa Phase 3 - parsing with tracked functions (#131)
    ea0c20dCopilot6mo ago
  • feat: implement Salsa Phase 1 & 2 - Foundation and Source Tracking (#130)
    7fdaf53Copilot6mo ago

    • Top contributors

    Builders behind this project.

    Copilot
    112 commits
    camshaft
    12 commits
    dependabot[bot]
    9 commits