Signature verification for the Green Pass (התו הירוק)
☆38Dec 31, 2021Updated 4 years ago
Alternatives and similar repositories for greenpass
Users that are interested in greenpass are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WhatsApp Group Snooze Registration Try again and again to sign up for a full group until a space becomes available☆24Apr 24, 2025Updated last year
- 🚨 Pikud Ha'oref Alarm Tracking☆30Oct 12, 2023Updated 2 years ago
- Fast Artistic Videos in pyTorch☆14Oct 3, 2023Updated 2 years ago
- Common Python library, especially for text processing and controlling experimental runs☆42Mar 27, 2013Updated 13 years ago
- Learning Deep Disentangled Embeddings with the F-Statistic Loss (NIPS 2018)☆10Oct 17, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Synthesizing and manipulating 2048x1024 images with conditional GANs☆33Oct 20, 2022Updated 3 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 4 years ago
- ☆36Jan 28, 2021Updated 5 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- Quantization in the Jagged Loss Landscape of Vision Transformers☆13Oct 22, 2023Updated 2 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 3 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- ☆16Mar 14, 2023Updated 3 years ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆16Dec 30, 2025Updated 4 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Python library to collect performance events☆14Jan 30, 2023Updated 3 years ago
- A list of resources dedicated to compositionality☆14Feb 21, 2019Updated 7 years ago
- Accompanies the paper "Learnability and Semantic Universals" ; trains recurrent neural networks to learn to verify sentences with quantif…☆11Aug 10, 2019Updated 6 years ago
- A trio of Google-Colab notebooks (ipynb) for training a GPT-2 (127M) model from scratch (useful for other / non-English languages) using …☆17Jun 29, 2020Updated 5 years ago
- A tool that allows users to choose a Ministry of the Interior Office to make a booking without a long waiting time☆14May 3, 2022Updated 4 years ago
- Tel Aviv Birdwatching 🛴 https://twitter.com/ido_co/status/1080883756184023041☆21Apr 29, 2023Updated 3 years ago
- ☆21Jul 25, 2024Updated last year
- When your PDF past exams has the answers marked and highlighted - this tool removes it☆26Jul 31, 2023Updated 2 years ago
- Minimum Description Length Recurrent Neural Networks☆19Jun 9, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A python wrapper around CloudKit Web Services for server-to-server connections.☆14Nov 6, 2020Updated 5 years ago
- ☆57Dec 28, 2025Updated 4 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆26Apr 21, 2023Updated 3 years ago
- Refactoring dalle-pytorch and taming-transformers for TPU VM☆60Aug 30, 2021Updated 4 years ago
- Fast style transfer with facial preservation. Final project for CSCI-GA.2271: Computer Vision (Fall 2018) at New York University.☆48Jan 20, 2019Updated 7 years ago
- The official code repository for MetricMT - a reward optimization method for NMT with learned metrics☆25Apr 24, 2021Updated 5 years ago
- See https://youtube-dl.org/☆10Oct 24, 2020Updated 5 years ago
- Realtime Object detection in Android using Fritz SDK☆25Oct 15, 2019Updated 6 years ago
- A wrapper for stylegan2 with ada. You can train a model with just six lines of code.☆63Apr 7, 2021Updated 5 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.
- An error report server on Google App Engine.☆16Dec 7, 2014Updated 11 years ago
- Official Implementation for "Encoding in Style: a StyleGAN Encoder for Image-to-Image Translation"☆71Apr 29, 2022Updated 4 years ago
- Colab notebook to finetune GLIDE.☆12Mar 22, 2022Updated 4 years ago
- NLP tutorial for the Berlin Data Science Retreat☆41Mar 10, 2016Updated 10 years ago
- ☆17May 26, 2020Updated 5 years ago
- A modification of Daniel Russell's notebook merged with Katherine Crowson's hq-skip-net changes☆11Jan 28, 2022Updated 4 years ago
- Getting The Synthesis Toolkit in C++ to work on Xcode 4.6☆22Dec 29, 2013Updated 12 years ago