Worksheets and lecture notes for my math courses for school students (in German)
☆10Oct 28, 2026Updated last week
Alternatives and similar repositories for mathezirkel-kurs
Users that are interested in mathezirkel-kurs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Monty and Py grow up to become hackers. A Python book for children☆19Dec 29, 2015Updated 10 years ago
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 6 years ago
- Random notes on mathematics (in German)☆14Oct 17, 2026Updated 2 weeks ago
- Summaries of my university courses (in German)☆27May 27, 2020Updated 6 years ago
- CLIMADA Petals generates different types of hazards and contains more specialized applications than the CLIMADA Core module https://githu…☆39Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A development version of the numerically exact variant of MIP solver SCIP☆11Mar 22, 2023Updated 3 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Organisationelles des OpenLab Augsburg☆16Apr 28, 2025Updated last year
- Small shared library to fix glibc compatibility issue to Steam's XCOM2 WotC game for Fedora 35 (and above i hope)☆13Dec 6, 2021Updated 4 years ago
- A collection of hacks to efficiently run LaTeX via ssh☆40Feb 3, 2023Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆66Jul 17, 2026Updated 3 months ago
- Interactive disassembler and emulator for the SN8F2288.☆12May 12, 2019Updated 7 years ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Updated this week
- Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/☆12May 11, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆26May 9, 2016Updated 10 years ago
- Tag-based webview of LaTeX documents☆35May 28, 2026Updated 5 months ago
- ☆13Jan 4, 2023Updated 3 years ago
- Boot Linux distributions/ISO files on your PC using your Ubuntu Touch device☆20May 29, 2026Updated 5 months ago
- Overview of pre-defined compiler macros for standards, compilers, operating systems, and hardware architectures☆14Sep 10, 2015Updated 11 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆12Dec 7, 2019Updated 6 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jul 1, 2026Updated 4 months ago
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12May 27, 2025Updated last year
- ☆11Sep 4, 2026Updated 2 months ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- (re)arrange and select fields on each line☆12Sep 15, 2025Updated last year
- Weighted matrix factorization on the GPU with Theano and scikits.cuda☆12Sep 8, 2014Updated 12 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 4 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- ☆12May 14, 2023Updated 3 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 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.
- Quantlib implementation in pure Julia☆143Feb 18, 2020Updated 6 years ago
- PyTone - Music jukebox redux☆13Dec 27, 2019Updated 6 years ago
- A specialised computer algebra system for topos theory.☆18Jun 23, 2024Updated 2 years ago
- Simple Python RPC system (ZeroMQ + Threading/Greenlets/IOLoop)☆12Jan 27, 2016Updated 10 years ago
- some code for linlog model simulation☆10Sep 16, 2021Updated 5 years ago
- a converter to markdown format for TeXmacs.☆10Apr 8, 2020Updated 6 years ago
- http://hackage.haskell.org/package/postie☆12Apr 19, 2026Updated 6 months ago