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.☆18Updated this week
- A slightly improved variant of the official thesis sample☆31Updated last year
- Compiler for the M language, used to compute the income tax of French taxpayers☆197Updated 2 weeks ago
- Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)☆98Updated 5 years ago
- ☆322Updated 4 months ago
- Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…☆24Updated 8 months ago
- My personal blog☆7Updated 2 weeks ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated 2 weeks ago
- Research language for array processing in the Haskell/ML family☆1,625Updated 6 months ago
- Materials for my Machine Learning course at University of Wroclaw☆37Updated 4 years ago
- List of resources for learning Category Theory☆266Updated 8 months ago
- a categorical deep learning compiler☆203Updated 5 months ago
- ☆14Updated 2 years ago
- Server to host lean games.☆301Updated this week
- Texty ke statnicim☆15Updated 8 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆625Updated this week
- Snake playing agents☆79Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Manifold Markets: A market for every question☆443Updated this week
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆167Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- A curated list of combinators☆120Updated 5 months ago
- Now maintained at https://github.com/ScrollPrize/villa/tree/main/vesuvius (this repository archived)☆18Updated 8 months ago
- Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY☆32Updated 2 months ago
- poznámky z bakalářské informatiky na MFF UK☆12Updated last month
- Books that makes heavy use of visuals for scientific communication☆162Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆118Updated last year
- Formalizing results about the Mandelbrot set in Lean☆21Updated this week
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆178Updated 4 years ago