🦠 Coronavirus Information on Telegram Chatbot
☆19Nov 23, 2025Updated 11 months ago
Alternatives and similar repositories for corona_cases
Users that are interested in corona_cases are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Resource for the applied category theory Munich reading group☆23Oct 15, 2021Updated 5 years ago
- Emacs - Watch the current display for changes (ie plugging in a monitor) and run a hook.☆13Mar 27, 2024Updated 2 years ago
- GraphQL queries as Clojure data structures☆19Oct 1, 2024Updated 2 years ago
- messing around writing reversing tools in clojure☆15Nov 9, 2017Updated 8 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 6 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code for embedding BASIC inside of Racket☆12Jun 6, 2021Updated 5 years ago
- Helper to aid de-identification of MRI images (3D or 4D)☆10Jun 13, 2024Updated 2 years ago
- Legacy version: Use math3d-react repo instead☆12Sep 25, 2019Updated 7 years ago
- Convert markdown to PDF with embedded mermaid diagram☆14May 29, 2020Updated 6 years ago
- Set of exercises (koans) to learn monads in clojure☆12Jan 8, 2014Updated 12 years ago
- Accept/Decline iCalendar appointment invitations from Gnus. Sync iCalendar event invitations from Gnus to Org agenda.☆10Aug 23, 2013Updated 13 years ago
- Deploy Telegram Bots on Heroku with Java API https://github.com/pengrad/java-telegram-bot-api☆17Apr 25, 2018Updated 8 years ago
- Core RESTful API interface to CouchDb Documents☆11Mar 8, 2017Updated 9 years ago
- Drop-down console for (e)shell & terminal emulation☆17Jan 3, 2026Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Online playground from RacketScript☆19Mar 28, 2024Updated 2 years ago
- Multicomponent T2 estimation for magnetic resonance (MR) relaxometry data☆12Nov 14, 2016Updated 9 years ago
- ☆10Apr 8, 2026Updated 6 months ago
- Fast MRI reconstruction on CUDA GPUs☆12Dec 30, 2023Updated 2 years ago
- A simple tool for compiling Java from the Clojure CLI.☆60Aug 26, 2021Updated 5 years ago
- Calcite Clojure wrapper / integration☆33Nov 26, 2023Updated 2 years ago
- K interpreter in 90 lines of Python☆18May 31, 2026Updated 5 months ago
- An Org mode template to export an article that meets the LaTeX specification of the open-access journal PLOS One. See☆16Mar 23, 2014Updated 12 years ago
- Code from the mri_unbound website☆11May 3, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- snippet for docstring in numpy coding style☆16Oct 2, 2020Updated 6 years ago
- Lambda calculus go brrrr☆31Jun 18, 2023Updated 3 years ago
- Gtk Conway's game of life in Rust☆15Jun 8, 2017Updated 9 years ago
- Emacs minor mode to highlight search results in all the buffeer until you clear them or make another, like Vim hlsearch option.☆21Apr 3, 2017Updated 9 years ago
- An automated pipeline for reviewing, anonymizing and publishing research DICOM studies☆16Apr 15, 2015Updated 11 years ago
- This is a collection of decorators for use with Clojure☆20Nov 23, 2011Updated 14 years ago
- HTTP handler for serving browserify bundles☆16Aug 31, 2014Updated 12 years ago
- 🦠 Yet another Telegram bot tracking the worldwide spread of COVID-19 (Novel Coronavirus)☆12Jan 25, 2021Updated 5 years ago
- Display real time BART departures in Emacs!☆16Jun 1, 2019Updated 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.
- Clojure (language) integrated query (and database)☆11Jan 2, 2025Updated last year
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆31Sep 15, 2021Updated 5 years ago
- Archive of talks for SF Python meetups☆14Jun 13, 2019Updated 7 years ago
- ☆10Sep 7, 2022Updated 4 years ago
- ☆11Oct 25, 2013Updated 13 years ago
- Class instances for Coq inductive types with little boilerplate☆27Oct 5, 2026Updated last month
- basic implementation of a bunch of optimization algorithms☆13Jul 7, 2017Updated 9 years ago