First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.
☆32Nov 1, 2017Updated 8 years ago
Alternatives and similar repositories for Discrete_Math_Notes
Users that are interested in Discrete_Math_Notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Examination preparation material for Computer Science students at Trinity College Dublin.☆55Apr 26, 2026Updated last week
- This repository contains example codes and exercises for learning the C programming language, Data structure, and Algorithms. It is desig…☆100Apr 23, 2026Updated last week
- All the best resources & recommendations from the fn+geeks community.☆23Jan 20, 2026Updated 3 months ago
- Mathematical notes and papers☆27Jan 22, 2026Updated 3 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- ☆19Jul 2, 2018Updated 7 years ago
- torrent -> http plumbing☆24Aug 11, 2020Updated 5 years ago
- The Phage Programming Language☆13Feb 8, 2021Updated 5 years ago
- A library for standard containers and their associated algorithms.☆12Feb 28, 2025Updated last year
- A (simple) performance evaluation of proportional selection using Python.☆11Jul 2, 2015Updated 10 years ago
- 📮 Send POST requests via a GET request☆14Dec 1, 2022Updated 3 years ago
- Lucky imaging library☆17Sep 19, 2020Updated 5 years ago
- Panic's Burnside bridges Twitter to email and back.☆230Jan 20, 2016Updated 10 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.
- Solution to stream audio from a Mac to a Raspberry Pi☆18Apr 19, 2021Updated 5 years ago
- github action for running hlint☆19Feb 23, 2019Updated 7 years ago
- Bitbucket Command Line tool☆18Mar 26, 2019Updated 7 years ago
- Extend the import list of a Haskell source file☆38Oct 8, 2021Updated 4 years ago
- Light, colorful colorscheme for Vim☆16Jun 24, 2020Updated 5 years ago
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- ☆32Nov 20, 2019Updated 6 years ago
- Haskell implementation of DAP interface data.☆26Oct 5, 2025Updated 7 months ago
- ☆27Apr 21, 2013Updated 13 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.
- Diversity, Equity & Inclusion at OpenCon: A report to keep OpenCon transparent and accountable to our commitments to equity, diversity, a…☆11Jan 16, 2018Updated 8 years ago
- android okhttp3 websocket demo☆15Oct 25, 2020Updated 5 years ago
- This is the description website for the AiC 2.0 Project.☆14May 19, 2017Updated 8 years ago
- retrobob is a retro gaming emulator that runs directly on your browser. Super Nintendo, NES/Famicom, Gameboy and Gameboy Color are curren…☆11Mar 25, 2024Updated 2 years ago
- A GraphQL extension for vscode with support for autocomplete, go to def, and more☆42May 3, 2023Updated 3 years ago
- ICFP Programming Contest 2016 Judge System and Task Data☆14Oct 11, 2016Updated 9 years ago
- Zig Vala - Toolchain & Build System Integration☆15Jan 28, 2022Updated 4 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- ☆12Dec 18, 2025Updated 4 months 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.
- RISC-V Online Help☆36Aug 13, 2025Updated 8 months ago
- automating the zig release process☆11Nov 19, 2025Updated 5 months ago
- 🚌 Translink Mapper, Various algorithms applied on mapping Vancouver Bus Data. Final Project for CSU22012☆17May 4, 2021Updated 5 years ago
- Vote ALlocating Immune System, an immune-inspired classification algorithm☆24Dec 14, 2018Updated 7 years ago
- A rust client library to query the Algorithmia API☆19Aug 12, 2019Updated 6 years ago
- REAPR (Reconfigurable Engine for Automata Processing) is a general-purpose framework for accelerating automata processing applications su…☆16Jun 29, 2019Updated 6 years ago
- WASIX extensions for Zig ⚡☆12Jun 12, 2025Updated 10 months ago