Tool for developing tasks for programming competitions.
☆25Jun 29, 2026Updated last week
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:
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- A pomodoro timer that grows procedurally generated trees and flowers while you're studying.☆39Jul 22, 2023Updated 2 years ago
- ☆11Jan 28, 2019Updated 7 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- Modern web interface for ReCodEx system☆13Updated this week
- 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.
- Deep Learning Seminar -- ÚFAL course NPFL117☆17Nov 22, 2022Updated 3 years ago
- My mum's recipes. In Polish.☆12Apr 23, 2020Updated 6 years ago
- ☆44Apr 8, 2025Updated last year
- OCaml notebooks as a WebComponent☆55May 4, 2026Updated 2 months ago
- Easy C++ code analysis with pure Haskell☆36Sep 25, 2024Updated last year
- Type checking and logical inference for JetBrains MPS☆32Apr 24, 2026Updated 2 months ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆39Jun 30, 2026Updated last week
- paint with a painter☆34Jul 12, 2025Updated 11 months 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.
- Custom Loss Functions and Evaluation Metrics for XGBoost and LightGBM☆39May 5, 2026Updated 2 months ago
- ☆32Jan 26, 2016Updated 10 years ago
- Example language server (LSP) implementation for a toy language☆60Jul 21, 2021Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Apr 17, 2018Updated 8 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆59Jul 18, 2024Updated last year
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆58Aug 29, 2024Updated last year
- ☆60Apr 25, 2024Updated 2 years ago
- A Manim implementation of the classic Rubik's Cube☆55Jun 26, 2023Updated 3 years ago
- Documentation for the lottie file format☆61Apr 17, 2026Updated 2 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.
- An IntelliJ plugin that wraps text☆70Jan 22, 2026Updated 5 months ago
- A tutorial on writing Haskell Language Server plugins☆70Aug 16, 2020Updated 5 years ago
- every day i'm truffling☆70Mar 26, 2021Updated 5 years ago
- A tiny & fast type system for Nix in Nix☆108Jan 15, 2026Updated 5 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jun 8, 2026Updated last month
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆89Sep 13, 2021Updated 4 years ago
- A Django app that allows visitors to interact with your site as a guest user without requiring registration.☆79Jan 27, 2024Updated 2 years ago
- Notes on space leaks☆103Sep 28, 2020Updated 5 years ago
- An incremental approach to compiler construction☆85May 29, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Nix packages for Haskell IDE Engine☆113May 14, 2019Updated 7 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆119Apr 6, 2019Updated 7 years ago
- A crate for developing audio plugins and applications in Rust.☆107Oct 28, 2023Updated 2 years ago
- Scrap your hand-rolled aeson instances☆114Jun 18, 2026Updated 3 weeks ago
- A language with dependent data and codata types☆140Jun 30, 2026Updated last week
- SPLV20 course notes☆117Nov 19, 2022Updated 3 years ago
- Library of the ##dependent distributed research support group☆123Jul 12, 2024Updated last year