vlaamseprogrammeerwedstrijd / opgavesLinks
Opgaves van de voorbije jaren
☆22Updated last year
Alternatives and similar repositories for opgaves
Users that are interested in opgaves are comparing it to the libraries listed below
Sorting:
- Public training materials for Belgian Oympiad in Informatics☆33Updated 9 months ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆197Updated 2 weeks ago
- An introduction to programming language theory in Agda☆1,469Updated this week
- Visual Studio Code extension for Coq☆417Updated this week
- A textbook on informal homotopy type theory☆2,117Updated last week
- Browser extension for VVZ (ETHZ)☆13Updated last week
- HoTTEST Summer School materials☆318Updated 5 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆534Updated 6 months ago
- A gently curated list of companies using verification formal methods in industry☆579Updated last month
- Interactive Coq Proofs in Vim☆307Updated 3 weeks ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- ☆234Updated last year
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆301Updated last year
- Kattis problem package format specification☆14Updated last week
- Data structures and algorithms for competitive programming in Haskell☆16Updated last year
- Code source du bot du Discord de Mathraining☆12Updated 9 months ago
- run and encode simple register machine programs☆15Updated 4 years ago
- A new Categories library for Agda☆391Updated last week
- A successor to the much revered and sorely missed UQ Timetable Planner☆30Updated 5 months ago
- ☆57Updated 2 years ago
- SAT Live! web site☆11Updated 6 months ago
- Mathematical Components☆658Updated this week
- Haskell MOOC University of Helsinki☆414Updated 2 weeks ago
- The Agda standard library☆634Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆394Updated 11 months ago
- Counterexamples in Type Systems☆405Updated 2 years ago
- ☆64Updated 2 months ago
- A Coq library for Homotopy Type Theory☆1,358Updated this week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆484Updated this week
- Natural Number Game☆256Updated 2 months ago