Tool for developing tasks for programming competitions.
☆23Mar 6, 2026Updated this week
Alternatives and similar repositories for pisek
Users that are interested in pisek are comparing it to the libraries listed below
Sorting:
- Text selection overlay for Talon☆10Aug 20, 2022Updated 3 years ago
- LinPipe: Multilingual Processing Tool☆10Jan 20, 2026Updated last month
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- ☆23Feb 7, 2026Updated last month
- OCaml notebooks as a WebComponent☆47Oct 4, 2025Updated 5 months ago
- An enhanced battery status indicator for i3blocks☆36Jan 3, 2026Updated 2 months ago
- A tutorial on writing Haskell Language Server plugins☆70Aug 16, 2020Updated 5 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆69Apr 11, 2023Updated 2 years ago
- Nix installation for ghcide☆74Jan 6, 2021Updated 5 years ago
- every day i'm truffling☆70Mar 26, 2021Updated 4 years ago
- A tiny & fast type system for Nix in Nix☆101Jan 15, 2026Updated last month
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆86Sep 13, 2021Updated 4 years ago
- ☆90Oct 14, 2021Updated 4 years ago
- Haskell bindings for the Souffle datalog language☆104May 16, 2024Updated last year
- Notes on space leaks☆103Sep 28, 2020Updated 5 years ago
- A language with dependent data and codata types☆130Updated this week
- Benchmarks for capture-avoiding substitution☆122May 30, 2025Updated 9 months ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆118Apr 6, 2019Updated 6 years ago
- SPLV20 course notes☆115Nov 19, 2022Updated 3 years ago
- Library of the ##dependent distributed research support group☆119Jul 12, 2024Updated last year
- Staged compilation with dependent types☆187Feb 1, 2026Updated last month
- optics for Haskell with the most amazing type errors you've seen☆243Jan 18, 2020Updated 6 years ago
- A garden of small programming language implementations 🪴☆313Updated this week
- An ML-like functional programming language☆344Oct 17, 2021Updated 4 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆422Updated this week
- An introductory course to Homotopy Type Theory☆376Jul 24, 2020Updated 5 years ago
- Video style transfer using feed-forward networks.☆383Jan 28, 2020Updated 6 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆424Updated this week
- Volume control and volume notifications☆357Jan 6, 2026Updated 2 months ago
- A modern supercompiler for call-by-value functional languages☆467Dec 5, 2025Updated 3 months ago
- A prompt engineering functional programming language☆545Updated this week
- Software Foundations in Idris☆457May 15, 2019Updated 6 years ago
- Signatures for entire Python programs. Extract the structure, the frame, the skeleton of your project, to generate API documentation or f…☆605Feb 20, 2026Updated 2 weeks ago
- A library for building Haskell IDE tooling☆575Dec 30, 2020Updated 5 years ago
- My personal dotfiles (how do these have so many stars?)☆638Mar 11, 2022Updated 3 years ago
- papers of Per Martin Löf☆816Jan 30, 2024Updated 2 years ago
- Interactively browse dependency graphs of Nix derivations.☆979Mar 1, 2026Updated last week
- A (more or less) one page introduction to Nix, the language.☆981Sep 1, 2025Updated 6 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,117Nov 4, 2025Updated 4 months ago