jablkoj / input-toolLinks
Tool which simplifies creating and testing inputs for programming contests.
☆10Updated 9 months ago
Alternatives and similar repositories for input-tool
Users that are interested in input-tool are comparing it to the libraries listed below
Sorting:
- Documentation for the Glide programming language (the name Glide is not set and might change at any time)☆14Updated 3 years ago
- A data-parallel functional programming language☆2,664Updated this week
- Wrapper librarry for codeforces.com api, written in Python 3☆24Updated 6 years ago
- A modern proof language☆3,718Updated last year
- An interpreter for learning and exploring pure λ-calculus☆467Updated 4 years ago
- perfect programming language☆13,337Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holes☆1,071Updated this week
- A collaborative book on algorithms☆2,446Updated 2 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,163Updated 2 weeks ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆931Updated 2 months ago
- A statically typed concatenative systems programming language.☆1,152Updated 2 years ago
- An unmaintained programming language☆891Updated 2 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,411Updated 9 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆673Updated this week
- The Pyret language.☆1,118Updated last week
- Programming Languages Zoo☆1,578Updated last year
- Library for generating tests for olympiad problems☆272Updated 3 years ago
- Lecture notes for the Type Systems course given in Autumn 2023☆15Updated last year
- An introduction to programming language theory in Agda☆1,486Updated last week
- Library of C++ implementations for algorithms used in competitive programming.☆154Updated last week
- ☆14Updated 3 years ago
- Koka language compiler and interpreter☆3,802Updated last month
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,111Updated 3 months ago
- This is a port of phenny, a Python IRC bot, to Python3. This specific version, called begiak, is a fork of the Wadsworth version, used b…☆16Updated 5 months ago
- polygon-issue-tracking☆16Updated 12 years ago
- Demo for high-performance type theory elaboration☆579Updated this week
- A modern Prolog implementation written mostly in Rust.☆2,371Updated 3 weeks ago
- Specs of the problem.xml format for competitive programming judge systems☆21Updated 3 years ago
- Lean Theorem Prover☆2,156Updated 2 years ago
- a challenge for Haskell beginners☆468Updated 2 years ago