Jupyter notebooks for the Klopper lectures on discrete mathematics
☆36Aug 15, 2016Updated 10 years ago
Alternatives and similar repositories for Discrete-Mathematics
Users that are interested in Discrete-Mathematics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes for my Calculus courses in college, written in Jupyter Notebooks☆12Jul 31, 2016Updated 10 years ago
- PowerShell によって Windows10 のキッティングに必要な全工程を自動的に完了。☆12Jun 10, 2025Updated last year
- An Interactive Discrete Mathematics Framework for GAP☆11Oct 1, 2026Updated last month
- While Deep Learning is a subset of Machine Learning, the prediction methodology in deep learning is different and works similar to how a …☆11Sep 2, 2021Updated 5 years ago
- Open Source Courseware authoring tool☆14Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Python scripts to download and grade submissions to Github Classroom assignments☆10Jun 14, 2018Updated 8 years ago
- End to end system on recognition of Handwritten Math Symbols☆12Aug 27, 2016Updated 10 years ago
- A minimal Python script for simulating the Rayleigh-Plesset equation☆11Mar 20, 2018Updated 8 years ago
- Python GUI for differential forms☆13Oct 14, 2023Updated 3 years ago
- ☆10Nov 29, 2019Updated 6 years ago
- 「行動データの計算論モデリング」のサポートページです。☆11Mar 1, 2021Updated 5 years ago
- Truly Spatially Enabling Very Large In-Memory Databases - Apache Hazelcast☆10May 9, 2014Updated 12 years ago
- Crowd source for code used in the lectures of Functional Programming Principles in Scala☆10Aug 30, 2016Updated 10 years ago
- Cookiecutter template for a Fortran project with CMake build☆11Oct 14, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Syntax highlighting for Alda - a music programming language.☆14Sep 5, 2021Updated 5 years ago
- Convergence and error analysis of PINNs☆13May 6, 2024Updated 2 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Deep Learning from scratch in Julia☆12Sep 1, 2019Updated 7 years ago
- Kinematics Problem: Double Pendulum, given the angles as functions of time, made with 3Blue1Brown's animation engine☆12Oct 25, 2025Updated last year
- ☆14Oct 31, 2021Updated 5 years ago
- High level model for MongoDB consistency☆15Oct 16, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Jan 21, 2021Updated 5 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Implements PyTorch model which updates SPD weights on Riemannian Manifold. Based on Huang, Z., & Van Gool, L. (2016). A Riemannian Netwo…☆12Mar 8, 2019Updated 7 years ago
- Spanwise-averaged Navier–Stokes modelling through convolutional neural network☆14May 17, 2024Updated 2 years ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆35Jan 17, 2022Updated 4 years ago
- 基于中心度的中文关键短语抽取工具☆11Sep 2, 2022Updated 4 years ago
- Fortran 2003 library for B-Splines/NURBS and Computer Aided Design Algorithms☆18Apr 23, 2018Updated 8 years ago
- Crowd source for code used in the lectures of Functional Program Design in Scala☆15Feb 27, 2017Updated 9 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.
- A powerful text cleaner for Japanese web texts☆12Jan 20, 2024Updated 2 years ago
- ☆12Mar 3, 2021Updated 5 years ago
- Matplotlib extensions for clifford compatibility☆12Mar 5, 2020Updated 6 years ago
- open-source Mandarian biased word dataset☆14Sep 21, 2023Updated 3 years ago
- Learn and concatenate outputs of PDE models using deep learning☆12Jan 17, 2020Updated 6 years ago
- Solving Burgers equation using Python☆13May 26, 2020Updated 6 years ago
- https://mth229.github.io☆13Updated this week