Tool for developing tasks for programming competitions.
☆25Oct 31, 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:
- Presentation about frontend development with Scala.js Originally made for students at Imperial College London☆11May 21, 2024Updated 2 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- My personal standard for how to set up a Javascript workspace☆16Jul 16, 2023Updated 3 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆14Feb 22, 2025Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 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.
- being some thoughts about introductory mathematics for computer science☆17May 4, 2026Updated 6 months ago
- A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests☆16Jun 8, 2026Updated 4 months ago
- operating system but in effekt (poc)☆18Sep 16, 2026Updated last month
- Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…☆27Aug 9, 2025Updated last year
- Hyprland Nix infrastructure☆16Sep 24, 2024Updated 2 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Oct 2, 2026Updated last month
- https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml☆23Jun 18, 2026Updated 4 months ago
- ☆26Feb 7, 2026Updated 9 months ago
- Minith Primus☆26Jan 7, 2026Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- A project about projects☆24Sep 28, 2026Updated last month
- NbE course @ Chalmers☆28Sep 24, 2024Updated 2 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Jun 25, 2020Updated 6 years ago
- Easy C++ code analysis with pure Haskell☆36Sep 25, 2024Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆32Apr 24, 2026Updated 6 months ago
- Servant servers utilities☆38Apr 30, 2024Updated 2 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic.☆43Oct 10, 2026Updated 3 weeks ago
- Example language server (LSP) implementation for a toy language☆60Jul 21, 2021Updated 5 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.
- OCaml notebooks as a WebComponent☆58May 4, 2026Updated 6 months ago
- 🖼️ the compiling to closed categories compiler☆67Apr 17, 2018Updated 8 years ago
- ☆63Apr 25, 2024Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆66Jul 26, 2019Updated 7 years ago
- Scala compiler plugin to detect unused expressions☆67Oct 31, 2026Updated last week
- ️🌈 Convenient interface for printing colourful messages☆73Aug 23, 2026Updated 2 months ago
- Nix installation for ghcide☆74Jan 6, 2021Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆73May 8, 2023Updated 3 years ago
- every day i'm truffling☆75Sep 22, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆91Sep 13, 2021Updated 5 years ago
- Lecture notes on realizability☆76Feb 21, 2025Updated last year
- ☆90Oct 14, 2021Updated 5 years ago
- Haskell bindings for the Souffle datalog language☆105May 16, 2024Updated 2 years ago
- Notes on space leaks☆103Sep 28, 2020Updated 6 years ago
- Define and build CI for Nix projects anywhere; superceded by Omnix https://omnix.page/om/ci.html☆128Apr 7, 2025Updated last year
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆120Apr 6, 2019Updated 7 years ago