Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.
☆14Apr 18, 2019Updated 6 years ago
Alternatives and similar repositories for CombinatoricsNotes
Users that are interested in CombinatoricsNotes are comparing it to the libraries listed below
Sorting:
- a Java front-end for Sketch synthesis tool☆20Jan 20, 2025Updated last year
- ☆18Oct 13, 2023Updated 2 years ago
- Materials for McGill Physics 357 (quantum 1), 2024 edition☆14Dec 18, 2024Updated last year
- A combinatorics library for Kotlin☆29Feb 23, 2020Updated 6 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Updated this week
- ☆10Feb 16, 2026Updated last week
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated last month
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆22Jan 25, 2026Updated last month
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆12Nov 22, 2024Updated last year
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- A simple MATLAB code to show an optimized implementation of the Virtual Element Method for the Poisson equation.☆11Sep 24, 2020Updated 5 years ago
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆39Feb 1, 2021Updated 5 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 2 years ago
- Security related data and information for all aspects of Grin☆14Aug 2, 2021Updated 4 years ago
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 5 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Style files for working with categorial grammars in LaTeX.☆13Oct 9, 2014Updated 11 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 8 months ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Feature flags in R☆11Mar 22, 2025Updated 11 months ago