This is an open source project to share algorithm for solving the math games Tchisla.
☆42Apr 30, 2017Updated 9 years ago
Alternatives and similar repositories for Tchisla
Users that are interested in Tchisla are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Apr 9, 2020Updated 6 years ago
- This is an open source project to share ideas for solving the geometry games Euclidea.☆305May 13, 2023Updated 3 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆26Feb 7, 2025Updated last year
- ☆11Dec 13, 2014Updated 11 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Automagic typst package documentation & development☆20Nov 28, 2024Updated last year
- An English dictionary.☆10May 31, 2016Updated 10 years ago
- ☆18Mar 5, 2017Updated 9 years ago
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 years ago
- 高数笔记（附带分享LaTeX源代码）☆15Mar 9, 2026Updated 5 months ago
- A picker for dates and date ranges for multiple frameworks☆11Sep 30, 2016Updated 9 years ago
- RowScript programming language, making a better browser world☆126Jun 3, 2026Updated 2 months ago
- A resume template written in typst, designed for zh_CN.☆13Mar 3, 2025Updated last year
- GPA calculator for USTCers☆11Nov 3, 2018Updated 7 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.
- Android app for encrypting text messages http://aescrypto.com☆13Aug 22, 2024Updated 2 years ago
- Kodi's Hy utility functions and macros☆13Jan 11, 2026Updated 7 months ago
- pyhtgen (formerly HTML.py) provides a few classes to easily generate HTML content such as tables and lists.☆12Apr 29, 2021Updated 5 years ago
- A module that multiplexes interactions with lists of python objects.☆14Aug 24, 2022Updated 4 years ago
- lecture notes written at WWU Münster | PDFs available at:☆12May 5, 2017Updated 9 years ago
- A free cross-platform midi file player based on libfluidsynth and Qt. Mirror of https://cgit.chrisoft.org/QMidiPlayer.git .☆34Dec 11, 2025Updated 8 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Aug 24, 2026Updated last week
- ☆15Mar 19, 2017Updated 9 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.
- USTC Software 2016☆13Dec 3, 2016Updated 9 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 9 years ago
- A program for collecting subdomains of a list of given second-level domains (SLD)☆15Feb 10, 2026Updated 6 months ago
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 7 years ago
- Dotfiles of Coelacanthus☆22Jun 11, 2026Updated 2 months ago
- RFCs of MoonBit lang☆16Apr 17, 2024Updated 2 years ago
- ☆14Jun 25, 2026Updated 2 months ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆15Nov 3, 2017Updated 8 years ago
- *CPC Rank: A quality score about competitive programming contest in Mainland China☆14Sep 15, 2022Updated 3 years ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- MLA-style citations and bibliographies using Biblatex☆24Jul 29, 2022Updated 4 years ago
- Small game framework made with Zig utilizing the awesome raylib☆16Dec 19, 2023Updated 2 years ago
- rm-trash is utility for safely remove files in Termail.app of macOS.☆21Jun 14, 2025Updated last year
- 用于USTC 教务系统的一些小工具 (Not Maintained)☆15Mar 15, 2015Updated 11 years ago