Tool for developing tasks for programming competitions.
☆25Sep 9, 2026Updated 2 weeks ago
Alternatives and similar repositories for pisek
Users that are interested in pisek are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- converts anything executable to C, C# or Python code☆22Oct 15, 2022Updated 3 years ago
- #SharingIsCaring #CaringIsSharing☆89Jan 8, 2025Updated last year
- ☆17May 10, 2024Updated 2 years ago
- A pomodoro timer that grows procedurally generated trees and flowers while you're studying.☆39Jul 22, 2023Updated 3 years ago
- SAM + Object/ Mask Replacement + Dion Stretching☆19Sep 13, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- KmerCamel🐫 provides implementations of several algorithms for efficiently representing a set of k-mers as a masked superstring.☆20Sep 9, 2026Updated 2 weeks ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- NPFL129 repository☆46Updated this week
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- Deep Learning Seminar -- ÚFAL course NPFL117☆17Nov 22, 2022Updated 3 years ago
- A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests☆16Jun 8, 2026Updated 3 months ago
- operating system but in effekt (poc)☆18Sep 16, 2026Updated last week
- Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…☆26Aug 9, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml☆22Jun 18, 2026Updated 3 months ago
- Simple encrypted chat in Java☆14Jul 17, 2021Updated 5 years ago
- Fast embedding ot multidimensional datasets, great for cytometry data☆26Mar 8, 2026Updated 6 months ago
- A command-line tool to generate Latex (inference rules) from inductive coq definitions.☆30Aug 23, 2016Updated 10 years ago
- ☆25Feb 7, 2026Updated 7 months ago
- WCAG-Zoo is a set of command line tools that help provide basic validation of HTML against the accessibility guidelines laid out by the W…☆24Nov 27, 2019Updated 6 years ago
- HARDWARIO TOWER hardware — schematics and assembly drawings for the modules.☆17Apr 15, 2025Updated last year
- Minith Primus☆26Jan 7, 2026Updated 8 months ago
- Sean Ragan's audio-driven Drawbot .WAV generator☆32May 24, 2014Updated 12 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.
- Easy C++ code analysis with pure Haskell☆36Sep 25, 2024Updated 2 years ago
- The source code to meziklasi.cz website.☆18Aug 11, 2026Updated last month
- ☆23Jan 7, 2023Updated 3 years ago
- Zpracování maturitních otázek k maturitě z češtiny 2018-19.☆14May 30, 2024Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆32Apr 24, 2026Updated 5 months ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated 2 years ago
- Firmware SDK for the HARDWARIO TOWER platform — C library and build system for the STM32L083 Core Module and all TOWER modules.☆28Oct 31, 2023Updated 2 years ago
- Servant servers utilities☆37Apr 30, 2024Updated 2 years ago
- NPFL122 repository☆13Jan 3, 2024Updated 2 years 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.
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic.☆41Sep 6, 2026Updated 3 weeks ago
- Minimalistic Neural Network Trainer for PyTorch inspired by Keras☆23Sep 11, 2026Updated 2 weeks ago
- ☆48Mar 9, 2023Updated 3 years ago
- Atarashi scans for license statements in open source software, focusing on text statistics. Designed to work stand-alone and with FOSSolo…☆34May 19, 2026Updated 4 months ago
- Website for Reticulum☆34Updated this week
- A slightly improved variant of the official thesis template☆33Jul 23, 2026Updated 2 months ago
- The source code to my personal website.☆34Updated this week