Material para Matemática Discreta
☆12Jul 31, 2016Updated 10 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:
- Curso de Python para estudiantes de grado de Matemáticas y/o Estadística☆18Apr 25, 2026Updated 6 months ago
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 4 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- Repositório da disciplina Programação Orientada a Objetos ministrada por Fabricio Santana no 3º semestre da graduação em Ciência da Compu…☆22Oct 23, 2026Updated 2 weeks ago
- ☆18Jul 19, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Coleção do Ensino Médio - Livro Aberto de Matemática☆12May 18, 2023Updated 3 years ago
- Repository for IMD1114, an undergraduate course about Deep Learning☆10Sep 19, 2025Updated last year
- Function graph plotter☆10Nov 26, 2023Updated 2 years ago
- Xfce is a lightweight desktop environment for UNIX-like operating systems. It aims to be fast and low on system resources, while still be…☆12Aug 31, 2021Updated 5 years ago
- Library of useful utility functions for Coq plugins☆13Jul 17, 2024Updated 2 years ago
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- Course notes from my EE degree and other occasional writeups☆13Apr 19, 2017Updated 9 years ago
- flutter corona tracker app, still in beta..☆10May 3, 2020Updated 6 years ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 6 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.
- ☆11Feb 15, 2022Updated 4 years ago
- A very extensive maths library for TypeScript, JavaScript and Node.js☆12Jan 28, 2018Updated 8 years ago
- Traducción de la GPLv3 a español☆10Dec 22, 2022Updated 3 years ago
- an advanced Flask app template, integrated bunch of Flask functions/extensions for Admin, Security, blueprint, RESTful structure.☆11Dec 7, 2022Updated 3 years ago
- The VS Code extension for Waterproof. Helps students learn how to write mathematical proofs.☆12Updated this week
- Three.js scripts used in Tungsteno☆11Jan 4, 2022Updated 4 years ago
- Parser Combinators of Monad☆40Nov 25, 2020Updated 5 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 4 years ago
- An Introduction to Various Math Topics☆10Jan 1, 2015Updated 11 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.
- My rice config with rose pine and i3, running on openSUSE and nixOS☆11Apr 11, 2026Updated 6 months ago
- Projeto Carômetro: Repositório de informações de pessoas com foto associada.☆14Apr 22, 2025Updated last year
- Fork of IcePDF library, maven build and additional print support☆15May 7, 2018Updated 8 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- ☆10Jan 11, 2017Updated 9 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
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- ☆11May 26, 2023Updated 3 years ago
- Stake-based threshold multi-signatures protocol☆10Sep 3, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The beautiful theme based on the Kanazawa painting.☆14Oct 9, 2025Updated last year
- 🎨 A Vim colorscheme inspired by the popular kanagawa.nvim theme☆15Oct 19, 2026Updated 2 weeks ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- Z80 Home Brew Micro-computer Project☆13Oct 17, 2026Updated 3 weeks 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 3 years ago
- ☆11Dec 1, 2021Updated 4 years ago
- Just simple dotfiles with qtile☆14Oct 24, 2024Updated 2 years ago