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:
- ☆22Oct 19, 2021Updated 4 years ago
- WhatsApp Group Snooze Registration Try again and again to sign up for a full group until a space becomes available☆23Apr 24, 2025Updated last year
- 🚨 Pikud Ha'oref Alarm Tracking☆30Oct 12, 2023Updated 2 years ago
- Google Colab Notebooks for Transcription with Whisper☆25Apr 22, 2025Updated last year
- Traffic Analysis in Original Video Data of Ayalon Road☆26Jan 9, 2020Updated 6 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.
- Tools and services for evaluating topic models☆15Apr 12, 2016Updated 10 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
- Synthesizing and manipulating 2048x1024 images with conditional GANs☆33Oct 20, 2022Updated 3 years ago
- JavaGenes.0.7.68 from NASA☆15Mar 2, 2012Updated 14 years ago
- Computes innocently excludable and includable sets of alternatives☆13Oct 14, 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
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Playing with arithmetic coding and RNNs☆22Nov 23, 2016Updated 9 years ago
- ☆48Nov 27, 2020Updated 5 years ago
- Patiencediff implementation☆17Jan 1, 2026Updated 4 months ago
- Python implementation of state-of-art meta-heuristic and evolutionary optimization algorithms.☆12Jun 29, 2022Updated 3 years ago
- Experiments from the article "Tensorial Mixture Models"☆24Apr 4, 2018Updated 8 years ago
- Computer Modern font family for the web☆17Jul 21, 2024Updated last year
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆16Dec 30, 2025Updated 4 months ago
- ☆15Oct 21, 2023Updated 2 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- CI for documentation. Testing if documentation is runable.☆11Mar 4, 2023Updated 3 years ago
- ☆11Feb 4, 2020Updated 6 years ago
- Short demo of nbgrader☆25Jan 14, 2017Updated 9 years ago
- ERC module for Gitter (irc.gitter.im)☆15Sep 24, 2015Updated 10 years ago
- ☆17Mar 24, 2025Updated last year
- Figures with precise control over overall width, plot aspect ratio, between-plot spacing, and colorbar dimensions.☆18Dec 31, 2021Updated 4 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
- ☆21Jul 25, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- When your PDF past exams has the answers marked and highlighted - this tool removes it☆26Jul 31, 2023Updated 2 years ago
- Experimental html based terminal emulator using pyte and webkit.☆29May 4, 2017Updated 9 years ago
- e - a smart wrapper for $EDITOR☆31Mar 31, 2026Updated last month
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆25May 28, 2025Updated 11 months ago
- A simple and silly hidden objects / explosion game for kids and adults☆13Jul 13, 2018Updated 7 years ago
- ☆10Apr 28, 2026Updated 3 weeks ago
- Minimum Description Length Recurrent Neural Networks☆19Jun 9, 2023Updated 2 years ago