piskoviste / pisekView external linksLinks
Tool for developing tasks for programming competitions.
☆23Feb 6, 2026Updated last week
Alternatives and similar repositories for pisek
Users that are interested in pisek are comparing it to the libraries listed below
Sorting:
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- A sed/awk replacement, using javascript☆13Oct 29, 2016Updated 9 years ago
- Texty ke statnicim☆15Jun 7, 2017Updated 8 years ago
- Cheat sheets for Math and CS studies.☆17Feb 8, 2021Updated 5 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- ☆45Apr 8, 2025Updated 10 months ago
- Render LaTeX math as multiline Unicode text☆22Nov 9, 2022Updated 3 years ago
- OCaml notebooks as a WebComponent☆47Oct 4, 2025Updated 4 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…☆38Feb 8, 2026Updated last week
- A consistent markup language☆44Feb 4, 2025Updated last year
- Example language server (LSP) implementation for a toy language☆60Jul 21, 2021Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Apr 17, 2018Updated 7 years ago
- A tutorial on writing Haskell Language Server plugins☆70Aug 16, 2020Updated 5 years ago
- Nix installation for ghcide☆74Jan 6, 2021Updated 5 years ago
- Lecture notes on realizability☆75Feb 21, 2025Updated 11 months ago
- every day i'm truffling☆70Mar 26, 2021Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jan 20, 2026Updated 3 weeks ago
- 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
- Easy instructions for setting up Haskell editors / IDEs on any major operating system.☆101Mar 24, 2024Updated last year
- Nix packages for Haskell IDE Engine☆113May 14, 2019Updated 6 years ago
- A language with dependent data and codata types☆128Feb 7, 2026Updated last week
- Define and build CI for Nix projects anywhere; superceded by Omnix https://omnix.page/om/ci.html☆122Apr 7, 2025Updated 10 months ago
- Scrap your hand-rolled aeson instances☆114Nov 23, 2024Updated last year
- Hyprland utilities library used across the ecosystem☆151Feb 3, 2026Updated last week
- SPLV20 course notes☆115Nov 19, 2022Updated 3 years ago
- Library of the ##dependent distributed research support group☆119Jul 12, 2024Updated last year
- Hyprland fork of the wlroots project☆109Jul 20, 2024Updated last year
- Trying to write an understandable implementation of Haskell, in Haskell☆125Feb 7, 2021Updated 5 years ago
- an implementation of stuck macros☆152Dec 24, 2025Updated last month
- Staged compilation with dependent types☆187Feb 1, 2026Updated 2 weeks ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Apr 28, 2019Updated 6 years ago
- GNOME-like workspace switching in Hyprland.☆200Jan 30, 2025Updated last year
- optics for Haskell with the most amazing type errors you've seen☆243Jan 18, 2020Updated 6 years ago
- ☆234Jul 30, 2024Updated last year
- A garden of small programming language implementations 🪴☆312Updated this week
- A simple library for reporting compiler/interpreter errors☆269Aug 11, 2024Updated last year