Command line utility to check whether the license headers are included in the source code files of a project. It can also insert/replace.
☆34Oct 29, 2023Updated 2 years ago
Alternatives and similar repositories for license-header-checker
Users that are interested in license-header-checker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A curated list of resources on zkECDSA☆35Aug 1, 2023Updated 2 years ago
- Griffe extension for `annotated-doc` (originally PEP 727)☆21Updated this week
- For practice to using halo2☆22Jun 7, 2023Updated 2 years ago
- fis3 deploy qiniu plugin☆10Feb 28, 2017Updated 9 years ago
- Fyodor is an open source Java library for generating random data☆16Sep 20, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Color variants of the default theme☆11Jan 22, 2015Updated 11 years ago
- Convert datasets from Hugging Face to FiftyOne for Visualization☆11Mar 15, 2024Updated 2 years ago
- decontamination☆33Mar 4, 2026Updated 2 months ago
- Android SDK for Clickstream Analytics on AWS☆17Feb 14, 2025Updated last year
- WebAssembly module signing & signature verification☆15Sep 29, 2022Updated 3 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16May 15, 2022Updated 4 years ago
- Canbus library for Golang☆10Apr 11, 2018Updated 8 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated 9 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆12Mar 20, 2026Updated 2 months ago
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 4 years ago
- You made a thing, but now you wish it'd go away... Deprecations, a love story.☆15May 19, 2026Updated last week
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 3 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆13May 13, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Enforces a maximum `space` and `time` Algorithm Complexity when testing Rust programs☆14Mar 16, 2026Updated 2 months ago
- Generation of Debian rootfs for multiple architectures☆15Nov 13, 2021Updated 4 years ago
- A Confidential Computing-Aware Certificate Authority☆13Apr 10, 2026Updated last month
- A better New Tab for Chrome☆21Feb 18, 2016Updated 10 years ago
- RDF fact prover and proof validator operating on simple conjunctive rules.☆12Feb 28, 2026Updated 3 months ago
- Decentralised Privacy-Preserving Contact Discovery☆18Jul 4, 2023Updated 2 years ago
- Hodur is a domain modeling approach and collection of libraries to Clojure. By using Hodur you can define your domain model as data, pars…☆18Nov 19, 2019Updated 6 years ago
- Convenience functions to populate Datomic DB with data, to define DB schema.☆16Apr 18, 2015Updated 11 years ago
- Style images as the cover of Joy Division's "Unknown pleasures".☆13Apr 21, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Github Action to run clojure.test by Babashka☆14Dec 29, 2021Updated 4 years ago
- ☆10Sep 15, 2023Updated 2 years ago
- Test pytorch code with minimal computational overhead☆26Jun 8, 2023Updated 2 years ago
- Automata Multi-Prover AVS☆12Jan 17, 2025Updated last year
- An Alfred 3 workflow that uses macOS's TTS (text-to-speech) feature to speak text aloud.☆37Apr 10, 2020Updated 6 years ago
- notes for community call for ZKML Community☆11Jan 18, 2023Updated 3 years ago
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆17Jan 5, 2023Updated 3 years ago