petrroll / mff-stuffLinks
#SharingIsCaring #CaringIsSharing
☆86Updated 6 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.☆16Updated this week
- A slightly improved variant of the official thesis sample☆30Updated last year
- Texty ke statnicim☆15Updated 8 years ago
- ☆314Updated 3 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆161Updated last week
- The czech library for C. Why? Because we could, of course!☆125Updated 3 months ago
- My personal blog☆7Updated this week
- Compiler for the M language, used to compute the income tax of French taxpayers☆197Updated last week
- Public repository for HPPS 2022☆21Updated 2 years ago
- a categorical deep learning compiler☆203Updated 4 months ago
- Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…☆24Updated 7 months ago
- Accelerated machine learning with dependent types☆95Updated last week
- A wiki for collaborative work on totally legitimate "category theory"☆114Updated last year
- A LaTeX Typesetting Game☆252Updated 3 months ago
- Snake playing agents☆78Updated 3 years ago
- A concise stack-based golfing language☆781Updated 8 months ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Metamath source file for logic and set theory☆288Updated this week
- Jelly is a recreational programming language inspired by J.☆890Updated 4 years ago
- The Python programming language, but with Polish flavor☆18Updated 2 years ago
- A program for making zooming slides in figma.☆37Updated 2 weeks ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,150Updated this week
- An interactive theorem prover for string diagrams☆118Updated 8 months ago
- Catalog of visual lambda calculi☆143Updated 3 months ago
- A list of Hanabi strategies☆168Updated last week
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- A curated list of combinators☆120Updated 4 months ago
- Animations of lambda term reduction sequences☆139Updated 7 years ago
- Esoteric language for programmers who want to investigate whether or not they and everything they know in their world is actually real.☆18Updated 4 years ago
- Notes from courses at FI MUNI.☆72Updated 3 years ago