petrroll / mff-stuffLinks
#SharingIsCaring #CaringIsSharing
☆88Updated 11 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.☆23Updated last week
- A slightly improved variant of the official thesis sample☆31Updated 3 months ago
- Animations of lambda term reduction sequences☆156Updated 7 years ago
- Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…☆27Updated 3 weeks ago
- Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)☆100Updated 6 years ago
- actually publishing my solutions now that they're not redundant...☆211Updated 3 years ago
- ☆542Updated 2 years ago
- a categorical deep learning compiler☆206Updated 3 months ago
- An online math contest platform☆22Updated 3 months ago
- Snake playing agents☆85Updated 4 years ago
- poznámky z bakalářské informatiky na MFF UK☆13Updated 2 months ago
- Tree Proof Generator☆177Updated 10 months ago
- A minimal proof checker.☆78Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆177Updated this week
- Accelerated machine learning with dependent types☆101Updated 4 months ago
- x86 C compiler written in untyped lambda calculus☆676Updated 3 years ago
- OTIS course management system☆45Updated this week
- Research language for array processing in the Haskell/ML family☆1,654Updated 11 months ago
- Books that makes heavy use of visuals for scientific communication☆168Updated last year
- Texty ke statnicim☆15Updated 8 years ago
- ☆351Updated 3 months ago
- Source Code from "Making Music with Haskell" video☆142Updated 5 years ago
- *cheep cheep shriek caw*☆99Updated 2 years ago
- Programming with pure lambda calculus☆135Updated 3 weeks ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Nástroj pro hlídání nových nabídek nemovitostí na populárních realitních serverech. Nabídky jsou vypisovány do Discord roomky.☆83Updated 4 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated 3 weeks ago
- A number guessing game with a p-adic twist.☆11Updated 2 years ago
- a tiny tile-based editor☆315Updated last month
- Catalog of visual lambda calculi☆162Updated 5 months ago