First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.
☆33Nov 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:
- This repository contains example codes and exercises for learning the C programming language, Data structure, and Algorithms. It is desig…☆101Jun 1, 2026Updated last month
- Management and Distribution of Secret Credentials☆23Apr 28, 2017Updated 9 years ago
- Mathematical notes and papers☆28Jun 15, 2026Updated last month
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🚌 Translink Mapper, Various algorithms applied on mapping Vancouver Bus Data. Final Project for CSU22012☆15Jun 22, 2026Updated last month
- Language Server Protocol support for MonoDevelop and Visual Studio for Mac☆14Mar 15, 2020Updated 6 years ago
- ☆19Jul 2, 2018Updated 8 years ago
- git mirror of DrawKit OS X framework from http://apptree.net/drawkit.htm☆15Oct 5, 2012Updated 13 years ago
- Using Artificial Intelligence to Augment Human Intelligence☆20May 22, 2018Updated 8 years ago
- ghc and cabal completion for zsh shell☆19Mar 2, 2025Updated last year
- 📮 Send POST requests via a GET request☆14Dec 1, 2022Updated 3 years ago
- ☆23May 22, 2020Updated 6 years ago
- github action for running hlint☆19Feb 23, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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
- Omit fields for instance deriving☆37Jun 5, 2020Updated 6 years ago
- ☆14Jun 8, 2026Updated last month
- For cool drawings using fourier series☆12May 23, 2026Updated 2 months ago
- automating the zig release process☆11Nov 19, 2025Updated 8 months ago
- ☆10May 18, 2024Updated 2 years ago
- A reimagining of Steve Wozniak's Wozmon for AMD64☆10Jul 9, 2025Updated last year
- WASIX extensions for Zig ⚡☆12May 6, 2026Updated 2 months ago
- ☆11Aug 13, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Markup and print strings to the terminal☆12Apr 28, 2026Updated 2 months ago
- Utility functions to get field values from the abstract syntax tree generated from ZON (Zig Object Notation) text using Zig stdlib☆13Feb 5, 2025Updated last year
- ☆12Jun 19, 2026Updated last month
- some iterator patterns for Zig lang☆11Aug 7, 2022Updated 3 years ago
- TaPL implementation bits in Idris2☆16Feb 27, 2022Updated 4 years ago
- Jekyll repo for the blog about opensource SDR - HackRF.net☆10Feb 19, 2020Updated 6 years ago
- A small fantasy computer and ISA☆12Dec 1, 2025Updated 7 months ago
- The dread tikzmark arrives on github☆16May 31, 2026Updated last month
- Purpose-built DAFSA for named character reference matching during HTML tokenization☆14Jul 19, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Cross-compile a simple Linux environment☆12Jul 30, 2024Updated last year
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆18Feb 25, 2026Updated 5 months ago
- ☆18Jan 18, 2023Updated 3 years ago
- Extend the import list of a Haskell source file☆38Oct 8, 2021Updated 4 years ago
- Demoing the basics of metaprogramming in Zig by writing a very incomplete CSS parser.☆15Jul 18, 2023Updated 3 years ago
- A simple GUI based calculator which can perform basic arithmetic operations☆10Oct 3, 2020Updated 5 years ago
- objdump but in Zig and for Zig☆15Jun 1, 2023Updated 3 years ago