diksown / touristfactsView external linksLinks
🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
☆40Sep 7, 2024Updated last year
Alternatives and similar repositories for touristfacts
Users that are interested in touristfacts are comparing it to the libraries listed below
Sorting:
- Codeforces extension pack☆32Jul 24, 2023Updated 2 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- A constructive proof assistant for second order logic.☆36Sep 28, 2024Updated last year
- Language Design for twinBASIC☆11Oct 8, 2024Updated last year
- Read only mirror. Open source Brainsick code compiler (bscc), for the classic Visual Basic (VB/VB6) language☆13Jul 20, 2017Updated 8 years ago
- Finish your qbittorrent task part by part.☆15Oct 18, 2025Updated 4 months ago
- Documentations for Hydro☆10Jan 25, 2026Updated 3 weeks ago
- SVG and SVGZ support for VB6 projects (c/o resvg)☆13Dec 31, 2024Updated last year
- SSTab replacement for VB6. Themed (Windows visual styles)☆11Dec 6, 2024Updated last year
- Simple, Fast, Reliable and Native way to use Discord on Windows XP☆21Sep 12, 2025Updated 5 months ago
- Ready-to-go PCRE DLL build for VB6 users☆10May 26, 2017Updated 8 years ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- ☆12Aug 8, 2022Updated 3 years ago
- Libraries and tools for extracting Coq code to F#☆14Aug 16, 2013Updated 12 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- SubC Compiler : By Nils M Holm, 2011--2012☆17Aug 10, 2012Updated 13 years ago
- A library for character LCD 16x2 for the STM32F407xx series MCUs. (HAL compatible only)☆10Feb 27, 2019Updated 6 years ago
- ☆12Jan 22, 2026Updated 3 weeks ago
- Fast and easy to use String Class☆14Mar 21, 2024Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Lean 4 Metamath verifier☆22Dec 12, 2025Updated 2 months ago
- List, enable/disable, show detailed properties, or uninstall hardware like Device Manager☆12Feb 4, 2026Updated 2 weeks ago
- UserControl DatePicker GDI/GDI+ VB6☆11Aug 21, 2023Updated 2 years ago
- Class for safe subclassing windows☆13Nov 20, 2021Updated 4 years ago
- a simple 2D sandbox game☆10Nov 19, 2021Updated 4 years ago
- An ActiveX control library for Visual Basic 6 that contains various kinds of text boxes.☆13Aug 4, 2022Updated 3 years ago
- MysoreScript is a simple JavaScript-like language intended for teaching about compilers for late-bound dynamic languages.☆14Dec 1, 2017Updated 8 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Aug 27, 2022Updated 3 years ago
- Ground up implementation of OleView with improved performance, hyperlinks etc.☆12Nov 5, 2021Updated 4 years ago
- Presenting Edsger W. Dijkstra's writings in a more appealing way☆11Sep 28, 2016Updated 9 years ago
- Test cases for EdDSA signature verification edge cases☆18Nov 13, 2022Updated 3 years ago
- Asynchronous waiting for kernel objects☆13Apr 13, 2022Updated 3 years ago
- VB6 Shape control replacement. With anti-alias and new figures. Based on GDI+☆14Dec 6, 2024Updated last year
- An open source stenographic theory that emphasises writing short.☆11Nov 9, 2025Updated 3 months ago
- ☆14Sep 16, 2021Updated 4 years ago
- PyTorch inference script for TransNetV2☆28Aug 17, 2025Updated 6 months ago
- 7-Zip COM library compatible for use in VBA (32-bit and 64-bit), VB6 and twinBASIC☆15Jun 6, 2022Updated 3 years ago
- ilo pali is a RISC V operating system featuring a microkernel.☆10Jul 4, 2024Updated last year
- VB6 VST Framework☆12Nov 17, 2022Updated 3 years ago