Alternatives and similar repositories for Vaccine-Certificates

Users that are interested in Vaccine-Certificates are comparing it to the libraries listed below

• summerscope / summerchildpy

  View on GitHub
  Sweet Summer Child Score: A risk assessment quiz for automation and ML
  ☆17Mar 19, 2025Updated 10 months ago
• AquaToken / airdrop-checker-frontend

  View on GitHub
  ☆12Sep 8, 2022Updated 3 years ago
• fongandrew / meteor-login-as-user

  View on GitHub
  Allows one Meteor user to login as another (e.g. for admin purposes)
  ☆13Jul 9, 2015Updated 10 years ago
• the-pudding / lenna-data

  View on GitHub
  ☆10May 13, 2021Updated 4 years ago
• whitequark / factorio-data-codec

  View on GitHub
  An utility to convert between Factorio settings file format and JSON
  ☆12Dec 16, 2024Updated last year
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• jameysharp / live-long-and-prospero

  View on GitHub
  A small compiler for the Prospero Challenge in Constructive Solid Geometry
  ☆11Nov 28, 2025Updated 2 months ago
• cartdeco / Australia-json-data

  View on GitHub
  geojson and topojson data for Australia
  ☆14Jul 28, 2016Updated 9 years ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆12Jan 4, 2024Updated 2 years ago
• mmhelloworld / Idris2-boot

  View on GitHub
  A dependently typed programming language, a successor to Idris
  ☆12Jul 18, 2021Updated 4 years ago
• benfle / META-II

  View on GitHub
  Experiments with META II
  ☆12Jan 9, 2018Updated 8 years ago
• tailhook / httpbin-rs

  View on GitHub
  A httpbin reimplementation in rust
  ☆10Dec 29, 2018Updated 7 years ago
• tirdadc / synthwave

  View on GitHub
  Synthwave band name generator
  ☆10Jul 30, 2015Updated 10 years ago
• callum-oakley / json5-to-json

  View on GitHub
  A bare-bones tool for converting JSON5 to plain JSON.
  ☆13Aug 20, 2022Updated 3 years ago
• danbar / murphy_line_draw

  View on GitHub
  A modified version of Bresenham's line algorithm for drawing lines of arbitrary thickness.
  ☆12Apr 14, 2015Updated 10 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• digidem / feature-filter-geojson

  View on GitHub
  Creates filtering function for geojson features
  ☆14Jan 23, 2019Updated 7 years ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• jimwhite / treemeta

  View on GitHub
  A revival of the TREE-META compiler-compiler.
  ☆15May 15, 2018Updated 7 years ago
• mschnetzer / scrollytell_gemeindebau

  View on GitHub
  ☆11Nov 22, 2024Updated last year
• andy128k / sanitize-html-rs

  View on GitHub
  Rust library for HTML santisation. https://docs.rs/sanitize_html/
  ☆16Oct 20, 2025Updated 3 months ago
• PerplexSystems / commandry

  View on GitHub
  A command-line parser for Standard ML
  ☆21Dec 29, 2025Updated last month
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• voodoos / mlts

  View on GitHub
  ☆11Dec 9, 2022Updated 3 years ago
• Pagebakers / meteor-ionicons

  View on GitHub
  Latest version of Ionicons, packaged for Meteor
  ☆11Jun 30, 2015Updated 10 years ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• c-cube / quip

  View on GitHub
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Mar 29, 2023Updated 2 years ago
• playXE / garbage-collector

  View on GitHub
  Garbage collector implementation in Rust for Rust
  ☆13Aug 30, 2020Updated 5 years ago
• lpil / atomb

  View on GitHub
  An Atom feed generator for Gleam
  ☆15Apr 7, 2025Updated 10 months ago
• jcoglan / infer

  View on GitHub
  Interpreter for inference rules
  ☆13May 5, 2018Updated 7 years ago
• githwxi / XATSHOME

  View on GitHub
  For hosting ATS3 and developing CodeDepot
  ☆16Feb 6, 2026Updated last week
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• tjwei / Fractran

  View on GitHub
  Javascript implementation of Fractran
  ☆15Sep 14, 2017Updated 8 years ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• cuplv / iodyn-lang.rust

  View on GitHub
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Feb 22, 2018Updated 7 years ago
• MateoCerquetella / twit-deno

  View on GitHub
  Simple Twitter API client using the new Deno framework sending authorized requests to the Twitter API.
  ☆12Jun 22, 2022Updated 3 years ago