Material para Matemática Discreta
☆10Jul 31, 2016Updated 9 years ago
Alternatives and similar repositories for apostila-discreta
Users that are interested in apostila-discreta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 3 years ago
- Curso de Python para estudiantes de grado de Matemáticas y/o Estadística☆18Feb 11, 2024Updated 2 years ago
- Repository for IMD1114, an undergraduate course about Deep Learning☆10Sep 19, 2025Updated 6 months ago
- ☆18Jul 19, 2021Updated 4 years ago
- A very extensive maths library for TypeScript, JavaScript and Node.js☆11Jan 28, 2018Updated 8 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.
- Function graph plotter☆10Nov 26, 2023Updated 2 years ago
- ☆45Updated this week
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆10Nov 30, 2018Updated 7 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 5 years ago
- Three.js scripts used in Tungsteno☆11Jan 4, 2022Updated 4 years ago
- Prototype of Python / GeoGebra interoperability☆20Feb 7, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.☆14Nov 14, 2024Updated last year
- an advanced Flask app template, integrated bunch of Flask functions/extensions for Admin, Security, blueprint, RESTful structure.☆11Dec 7, 2022Updated 3 years ago
- Examples from the Android SQlite and ContentProvider Book☆19Mar 28, 2012Updated 14 years ago
- Coleção do Ensino Médio - Livro Aberto de Matemática☆12May 18, 2023Updated 2 years ago
- ☆10Jan 11, 2017Updated 9 years ago
- flutter corona tracker app, still in beta..☆10May 3, 2020Updated 5 years ago
- Non local means filter for ImageJ☆12Dec 3, 2017Updated 8 years ago
- An app where you can manage your statuspage.io page with ease and on the go built with flutter☆22Nov 1, 2022Updated 3 years ago
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Experiments with eBPF bytecode☆16Jul 17, 2025Updated 8 months ago
- This is a repository for a machine learning supplementary course to EEC1509, which is a graduate course offered by PPgEEC/UFRN.☆22Apr 28, 2023Updated 2 years ago
- My rice config with rose pine and i3, running on openSUSE and nixOS☆10Feb 2, 2026Updated last month
- Mathics 3D Graphics backend using three.js☆21Feb 25, 2023Updated 3 years ago
- An AP Computer Science A programming assignment for Mr. Simon's APCSA course at Lowell High School, San Francisco, USA☆11Jan 23, 2024Updated 2 years ago
- A Virtual Librarian to help you manage your books.☆11Sep 7, 2018Updated 7 years ago
- ☆10Dec 1, 2021Updated 4 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- Kotlin's "Hello, world!" on Android☆25Jan 13, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Learning causal or non-causal graphical models using information theory☆34Feb 13, 2026Updated last month
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- Beginning of formal language theory☆23Dec 7, 2019Updated 6 years ago
- The Intel 8080 ("eighty-eighty") is the second 8-bit microprocessor designed and manufactured by Intel.☆15May 25, 2022Updated 3 years ago
- Uma grande e incrível lista, super completa, para ajudar quem está iniciando na carreira de tecnologia 🚀☆13Nov 9, 2022Updated 3 years ago
- ☆12Dec 10, 2023Updated 2 years ago
- Simple bot for Texas Hold'em. Uses a montecarlo approach and it's extensible.☆12Mar 27, 2015Updated 11 years ago