AusOpenTech/Vaccine-Certificates external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

AusOpenTech/Vaccine-Certificates

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/AusOpenTech/Vaccine-Certificates)

Close

AusOpenTech / Vaccine-CertificatesView on GitHubMore

• External links
• Readme badge

Discussion of the various Australian COVID-19 vaccine certificates

☆19Sep 28, 2021Updated 4 years ago

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 11 months ago
• AquaToken / airdrop-checker-frontend

  View on GitHub
  ☆12Sep 8, 2022Updated 3 years ago
• the-pudding / lenna-data

  View on GitHub
  ☆10May 13, 2021Updated 4 years ago
• 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
• 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
• whitequark / factorio-data-codec

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

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• voodoos / mlts

  View on GitHub
  ☆13Dec 9, 2022Updated 3 years ago
• githwxi / XATSHOME

  View on GitHub
  For hosting ATS3 and developing CodeDepot
  ☆18Feb 6, 2026Updated last month
• cuplv / iodyn-lang.rust

  View on GitHub
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Feb 22, 2018Updated 8 years ago
• kssytsrk / cellular-automata

  View on GitHub
  Cellular automata environment written in Common Lisp
  ☆17Apr 17, 2021Updated 4 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
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• jimwhite / treemeta

  View on GitHub
  A revival of the TREE-META compiler-compiler.
  ☆15May 15, 2018Updated 7 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• phadej / hooglite

  View on GitHub
  Alternative and lite implementation of Hoogle
  ☆11Apr 9, 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 3 months ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• tirdadc / synthwave

  View on GitHub
  Synthwave band name generator
  ☆10Jul 30, 2015Updated 10 years ago
• andy128k / sanitize-html-rs

  View on GitHub
  Rust library for HTML santisation. https://docs.rs/sanitize_html/
  ☆16Oct 20, 2025Updated 4 months ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆14Updated this week
• ahrvoje / numerics

  View on GitHub
  Numerical snippets & tests
  ☆12Jan 5, 2026Updated 2 months 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
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• sjorssnoeren / meteor-masonry

  View on GitHub
  Packaged version of Masonry for MeteorJS
  ☆10Jan 25, 2016Updated 10 years ago
• playXE / garbage-collector

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

  View on GitHub
  Functional Linear Algebra with Block Matrices
  ☆11Feb 17, 2022Updated 4 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• clayrat / idris-linear

  View on GitHub
  Experiments with linear types
  ☆14Feb 23, 2018Updated 8 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago
• mmhelloworld / Idris2-boot

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

  View on GitHub
  Latest version of Ionicons, packaged for Meteor
  ☆11Jun 30, 2015Updated 10 years ago
• namin / higher-rank

  View on GitHub
  Practical type inference for arbitrary-rank types
  ☆11May 25, 2019Updated 6 years ago
• mschnetzer / scrollytell_gemeindebau

  View on GitHub
  ☆11Nov 22, 2024Updated last year
• digidem / feature-filter-geojson

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