nickel

Userscripts validation, security registry, and decentralized verification (Haskell + IPFS)

A shadowy flight into the dangerous world of a man, who is either permanently or very often undone by circumstance.

Nickel & Rust-powered Keyboard Firmware

Universal Extension Format - One source, all platforms (browsers, IDEs, CMS). Formally verified compile-to-many pattern.

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

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

Helm-based deployment of Twingate Connector into Kubernetes. Part of FlatRacoon Network Stack.

Benchmark Minerals — independent third-party profile of a public API surface, by API Evangelist. Benchmark Mineral Intelligence is the world's leading market intelligence and price reporting agency for the lithium-ion battery supply chain and energy transition materials. The company provides mine-to-grid supply chain data, price assessments, foreca

BANIQL CORP. — independent third-party profile of a public API surface, by API Evangelist. BANIQL CORP. (BANiQL) is developing a sustainable process for selectively extracting nickel and cobalt for use in lithium-ion battery production. Its core technology uses a chemical process to selectively extract nickel and cobalt from raw materials at lower

Better configuration for less

Authorization Bypass Detection Testing Framework

Configuration Flow Orchestrator - intelligently orchestrate CUE, Nickel, and validation workflows

Configuration language with gradual types

Nickel configuration language tools

Standards-compliant monorepo of natural-sciences libraries with a Haskell console for minting, verifying, and observing scientific modules.

Formal, integrated metadata framework succeeding VoID, Dublin Core, and DCAT - compositional grammar with Idris2 proofs and verisimdb integration

Rootless/SDP deployment configurations for HKDF cryptographic services

Snapcreate

Formal vocabulary definitions and taxonomies for datasets — Idris2-typed proofs with Zig FFI for cross-language consumption.

Federated, multi-language package manager with formal verification and trust pipeline.