nickel-lang

Here are 5 public repositories matching this topic...

⌨️ The Nickel programming language IDE submodule for SNU Programming Tools (2D Mode)

📚️ A repository for showcasing my knowledge of the Nickel programming language, and continuing to learn the language.

Supply chain security for Claude Code — sandbox sessions, attest every action, verify provenance

rust security sandbox supply-chain namespaces formal-verification attestation sbom in-toto slsa lean4 landlock sigstore claude-code nickel-lang

A curated list of awesome Nickel language resources, tools, and libraries

awesome configuration awesome-list nickel contracts nickel-lang

🛠️ Create versatile 2D programming tools for Nickel, streamlining development and enhancing productivity in your applications.

Add a description, image, and links to the nickel-lang topic page so that developers can more easily learn about it.

To associate your repository with the nickel-lang topic, visit your repo's landing page and select "manage topics."