petrroll / mff-stuffLinks
#SharingIsCaring #CaringIsSharing
☆86Updated 7 months ago
Alternatives and similar repositories for mff-stuff
Users that are interested in mff-stuff are comparing it to the libraries listed below
Sorting:
- Tool for developing tasks for programming competitions.☆19Updated this week
- A slightly improved variant of the official thesis sample☆31Updated last year
- Materials for Deep Learning – ÚFAL course NPFL138☆32Updated 3 weeks ago
- ☆328Updated 5 months ago
- Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…☆24Updated 8 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- a categorical deep learning compiler☆203Updated 6 months ago
- metamath proof enumerators and other things☆94Updated last year
- actually publishing my solutions now that they're not redundant...☆211Updated 2 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Animations of lambda term reduction sequences☆143Updated 7 years ago
- The czech library for C. Why? Because we could, of course!☆125Updated 4 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- Der Kompilierer der Deutschen Programmiersprache☆161Updated 3 weeks ago
- poznámky z bakalářské informatiky na MFF UK☆12Updated 2 months ago
- An interactive theorem prover for string diagrams☆119Updated 10 months ago
- A curated list of combinators☆120Updated 3 weeks ago
- Snake playing agents☆80Updated 4 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.☆21Updated 3 years ago
- Research language for array processing in the Haskell/ML family☆1,625Updated 7 months ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆290Updated this week
- Metamath source file for logic and set theory☆291Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Analyze compressed chess pgn files to determine the rarest move☆309Updated 10 months ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- A Discord bot for the Robert Miles AI server☆40Updated 6 months ago
- Programming in the C language course materials☆12Updated 2 months ago
- Some Lean tutorials☆183Updated last year
- 2018-2021 mimuw by marcin abramowicz☆34Updated 3 years ago