MaMpf (Mathematical Media Platform) — an E-Learning platform for mathematics featuring a media player & editor. Developed & deployed at Heidelberg University.
☆42Oct 27, 2026Updated this week
Alternatives and similar repositories for mampf
Users that are interested in mampf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Oct 8, 2026Updated 3 weeks ago
- math / physics lecture notes☆17May 26, 2023Updated 3 years ago
- ☆23Apr 14, 2024Updated 2 years ago
- ☆19Oct 11, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 6 Games with turtle graphics 🐢 Python☆15Feb 6, 2026Updated 8 months ago
- GitHub action to use the date command for the build process.☆14Mar 10, 2022Updated 4 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆71Updated this week
- textlint + reviewdog example project☆12Feb 10, 2017Updated 9 years ago
- Notes from Andrew Blumberg's class on equivariant homotopy theory☆18Aug 19, 2025Updated last year
- ☆12May 1, 2021Updated 5 years ago
- Collect User templates for everyone to use☆13Aug 18, 2025Updated last year
- Reward users with points for their actions☆10Jul 29, 2013Updated 13 years ago
- Files for the MO Server☆10May 13, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- https://houssemdellai.github.io/☆13Feb 6, 2023Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆32Aug 16, 2013Updated 13 years ago
- Student training center management.☆11Apr 19, 2023Updated 3 years ago
- FamilyTree is a Ruby on Rails application that allows the user to manage family trees.☆14May 9, 2012Updated 14 years ago
- It is an app which enables student-teacher communication as well as student-student communication in an improved manner.It enables the st…☆13Jun 29, 2018Updated 8 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 years ago
- A python library to access and update the gauge/station database of MDR and compute randomForest QPE estimates☆10Sep 21, 2026Updated last month
- 트랜스포머 블록을 활용한 상품명 자연어처리 기반 카테고리 분류 모델☆10Dec 5, 2022Updated 3 years ago
- [Moved to Codeberg] Load generator for measuring overhead generated by EDRs and other logging tools on Linux☆13Feb 28, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Cosmology Resource Materials - collection of links to useful resources of interest to cosmology students and researchers☆19Sep 5, 2026Updated last month
- RLabs Inc. Website and apps. Featuring the VSCode Themes Community and a Warp Terminal themes generator.☆15Feb 13, 2026Updated 8 months ago
- Example application using CarrierWaveDirect☆15Feb 25, 2013Updated 13 years ago
- Check the signature of a file using the WinVerifyTrust API☆10Dec 2, 2025Updated 10 months ago
- ☆18Mar 4, 2023Updated 3 years ago
- About source or first week created.☆17Feb 8, 2023Updated 3 years ago
- An AI, Machine Learning and Blockchain based healthcare ecosystem that predicts health outcome, divulges users' and environmental health …☆16Feb 12, 2019Updated 7 years ago
- This is the CoCalc Electron desktop application.☆19Sep 30, 2022Updated 4 years ago
- Villages cooperative community project source☆14Oct 13, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Archiving pastebin☆13Mar 27, 2026Updated 7 months ago
- Snake game rendered in the terminal (hand-crafted, no AI used 🌱)☆11Mar 14, 2023Updated 3 years ago
- ☆12May 30, 2026Updated 5 months ago
- This is code for the EMNLP 2022 Paper "UniRPG: Unified Discrete Reasoning over Table and Text as Program Generation".☆10Apr 30, 2023Updated 3 years ago
- An example microblogging app in Flutter on Shorebird☆13Feb 28, 2023Updated 3 years ago
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆35Apr 3, 2024Updated 2 years ago
- ☆11Oct 13, 2026Updated 2 weeks ago