Jupyter notebooks for the Klopper lectures on discrete mathematics
☆36Aug 15, 2016Updated 9 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 9 years ago
- Python GUI for differential forms☆13Oct 14, 2023Updated 2 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 7 months 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
- 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.
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- use SymPy to generate equations for parametric surfaces☆18May 7, 2012Updated 13 years ago
- Aggregation of SymPy related blogs☆15Mar 16, 2026Updated last week
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- PowerShell によって Windows10 のキッティングに必 要な全工程を自動的に完了。☆12Jun 10, 2025Updated 9 months ago
- LaTeX interface for SymPy, Mathematica, Maple, and other computer algebra packages, for the benefit of general relativity and differentia…☆10Sep 14, 2023Updated 2 years ago
- Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/☆18Oct 26, 2025Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A collection of Python and LaTeX files to support execution of Python, Mathematica etc. within a LaTeX document.☆12Apr 12, 2025Updated 11 months ago
- ☆11Mar 3, 2021Updated 5 years ago
- Interactive, web-based visual math assistant☆12Mar 14, 2026Updated last week
- Tutorials for the julia language☆12Feb 4, 2023Updated 3 years ago
- CMake FindLAPACK.cmake that works with Intel MKL, Atlas, OpenBLAS, Netlib, LAPACK95 for C / C++ / Fortran☆17Jun 17, 2022Updated 3 years ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 10 years ago
- Image and video processing toolbox☆10Jun 12, 2020Updated 5 years ago
- A library to generate numerical descriptions of particle systems.☆12Aug 16, 2021Updated 4 years ago
- A STOMP Websocket client written in Swift using SocketRocket to communicate over WebSocket. At the moment I only support sending and rece…☆11Sep 20, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Some Jupyter Notebooks I am creating for the course Applied Elasticity at IIT Kharagpur☆17Oct 20, 2020Updated 5 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated last month
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- https://mth229.github.io☆13Mar 5, 2026Updated 2 weeks ago
- A public chat room built using Java Spring Framework 4, Web Sockets and STOMP messaging.☆10Feb 24, 2016Updated 10 years ago
- phonegap app for hailing finding / finding passengers (simple version of uber)☆15Dec 16, 2015Updated 10 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Mar 16, 2026Updated last week
- This is a prototype app that store items into a Hazelcast map and queue based on the description in https://wiki.mozilla.org/Socorro:Clie…☆17Apr 11, 2011Updated 14 years ago
- 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.
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- Integration of the Fortran standard library in CMake projects☆17Sep 11, 2021Updated 4 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- ☆15Mar 30, 2016Updated 9 years ago
- The ANTLR 4 Website☆16Aug 3, 2024Updated last year
- Implementation of a DAWG small and fast enough to work in Android apps☆10Feb 26, 2020Updated 6 years ago