polygon-issue-tracking
☆17Jul 14, 2013Updated 13 years ago
Alternatives and similar repositories for polygon-issue-tracking
Users that are interested in polygon-issue-tracking are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jul 24, 2018Updated 8 years ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- Command-line tool for polygon☆73Nov 19, 2024Updated last year
- Данные по составу УИК на 5 лет начиная с 2013 года в Петербурге☆15Apr 10, 2022Updated 4 years ago
- ☆27May 23, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆15Feb 7, 2018Updated 8 years ago
- Simple tools for performing statistical analysis of Russian elections data☆12Jun 6, 2014Updated 12 years ago
- ☆13Sep 29, 2014Updated 12 years ago
- LMS algorithm for computing edit distance with SIMD optimizations☆11Mar 25, 2024Updated 2 years ago
- Automagically changes the layout to english on lock screen (ubuntu 18)☆10Feb 1, 2019Updated 7 years ago
- Montelibero Association Documents Storage: for internal and external purposes.☆12Sep 17, 2026Updated last month
- Testing reported Covid-19 deaths and cases for Poisson underdispersion☆12Apr 24, 2022Updated 4 years ago
- Bring your vk chat history – including videos and documents – to Telegram☆10Feb 19, 2024Updated 2 years ago
- A collection of puzzles I've created over the years☆14Dec 31, 2020Updated 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.
- ☆15Sep 5, 2022Updated 4 years ago
- A full-featured automatic indexing system.☆11Jan 10, 2020Updated 6 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 3 years ago
- Simple jabber and telegram bot written in perl☆13Dec 10, 2020Updated 5 years ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- A longtime needed iterator for C++ STL std::bitset<N>☆11Feb 7, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆12Apr 22, 2025Updated last year
- Academany marketing materials☆10Sep 20, 2017Updated 9 years ago
- Generate Stellar Vanity Wallets☆23Nov 23, 2021Updated 4 years ago
- http-server with two pools of threads (one for easy to handle requests, and one for hard to handle), forked from Begun's lizard☆13Nov 10, 2021Updated 4 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- Website of Minsk Hackerspace (Ruby on Rails)☆12Updated this week
- Репозиторий практик в Колледже Информатики и Программирования при Финансовом Университете при Правительстве РФ [2015-2019]☆10Apr 29, 2020Updated 6 years ago
- A tiny (1 KB) <I icon='' /> Component for React(-like).☆10Nov 7, 2016Updated 9 years ago
- This command line app detects when an image file has an alpha channel it does not need.☆11Sep 2, 2013Updated 13 years ago
- 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.
- Published Photon-2024 APKs for Android Platform☆15Mar 15, 2024Updated 2 years ago
- ☆10May 27, 2011Updated 15 years ago
- Материали към курса "HTML5 приложения за Android"☆10Mar 11, 2015Updated 11 years ago
- Proof of Concept to prove that it is possible for a remote webserver to detect that the output of e.g. a curl is being piped to bash or a…☆30Mar 4, 2025Updated last year
- Jack Listener Daemon☆12Dec 25, 2023Updated 2 years ago
- ☆13Dec 21, 2016Updated 9 years ago
- ☆16Oct 19, 2023Updated 3 years ago