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:
- Python GUI for differential forms☆13Oct 14, 2023Updated 2 years ago
- ☆10Oct 11, 2022Updated 3 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
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- use SymPy to generate equations for parametric surfaces☆18May 7, 2012Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Aggregation of SymPy related blogs☆15Apr 6, 2026Updated last week
- Python T-Digest Module☆10Aug 17, 2015Updated 10 years 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
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- ☆10Mar 5, 2018Updated 8 years ago
- Fortran 2003 library for B-Splines/NURBS and Computer Aided Design Algorithms☆18Apr 23, 2018Updated 7 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- This repository has properties for different groups of material. The main idea is to provide accesible properties for comparison.☆14Jun 25, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python scripts to automate the boring stuff in everyday use of Simulia Abaqus #Structural-Engineering☆13Feb 19, 2020Updated 6 years ago
- IPython extension for VSCode☆15Apr 2, 2019Updated 7 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
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆14Nov 16, 2017Updated 8 years ago
- Fitting problems solved with a multilayer perceptron implemented in PyTorch technology☆13Feb 17, 2021Updated 5 years ago
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Jun 24, 2017Updated 8 years ago
- Web based system for freight, warehousing, tracking and transport brokering☆11Sep 29, 2020Updated 5 years ago
- Discrete Exterior Calculus☆13Jul 23, 2014Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- ☯️ AllenNLP training configurations for promising models on Named Entity Recognition. (BiLSTM-CRF, BiLSTM-CNN-CRF, BERT, BERT-CRF)☆15Nov 26, 2020Updated 5 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 2 months ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- GluCat: Clifford algebra templates☆23Feb 16, 2026Updated last month
- Jupyter notebooks for ME5335 Introduction to Finite Element Analysis☆13Oct 10, 2023Updated 2 years ago
- ☆16Feb 8, 2017Updated 9 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- "rust-openai-chatgpt-api" is a Rust library for accessing the ChatGPT API, a powerful NLP platform by OpenAI. The library provides a simp…☆11Mar 30, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A set of tools that make working with the Scala ecosystem even better.☆12Apr 4, 2026Updated last week
- Store hierarchical data in graphs in a non-redundant way☆14Dec 31, 2020Updated 5 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Modeling Social Data, Applied Mathematics, Columbia University (Spring 2015)☆33Jul 24, 2019Updated 6 years ago
- This is a repository one can use to test whether git integration with Obsidian works☆17Jul 14, 2021Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago