Notas e código relacionados à disciplina "Programação Funcional"
☆10Nov 17, 2022Updated 3 years ago
Alternatives and similar repositories for progfun
Users that are interested in progfun are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A turing machine with Unity☆11Jan 1, 2019Updated 7 years ago
- It is a study guide for people who are interested in learning Mixed Integer Programming. The repository contains a set of classical optim…☆11Apr 10, 2026Updated 6 months ago
- Virtualização de uma CPU 8-bits, no logisim, com instruções Assembly em formato inspirado no MIPS-Assembly.☆10Aug 29, 2016Updated 10 years ago
- A sample Java application that is protected by Spring Security SAML2.☆16Aug 31, 2017Updated 9 years ago
- Code for paper `Interpreting the Latent Space of GANs for Semantic Face Editing`☆14Aug 7, 2019Updated 7 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.
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- An experimental path tracer written from scratch in C++.☆12Dec 21, 2019Updated 6 years ago
- Repository for the assignments in the Massive Open Online Course "LAFF-On Programming for Correctness"☆13Apr 24, 2018Updated 8 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- ☆13Jan 5, 2017Updated 9 years ago
- One-plug USB root exploit and vendor-kernel research lab for Samsung T-MSMDEUC 1500.9☆15Sep 9, 2026Updated last month
- ☆13Dec 2, 2021Updated 4 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 6 years ago
- Repositório com material suplementar do livro Engenharia de Software Moderna☆30May 20, 2022Updated 4 years 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.
- Leprechaun Game wrote in Elixir☆12Oct 28, 2026Updated last week
- Use Gleam inside an Elixir project with good developer experience in both codebases☆14Feb 13, 2025Updated last year
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Remove a path or directory while in a GitHub Actions job☆27May 31, 2024Updated 2 years ago
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- Using JavaScript and NodeJS (Puppeteer module), this script automates signing in to Google in extra stealth, navigates to Google Meet, tu…☆30Jan 4, 2021Updated 5 years ago
- Google Search Query Assistant makes google searches quite easy and query based. It basically increases the power of google to give answer…☆10Aug 19, 2020Updated 6 years ago
- Glitch.tv is a streaming platform written in the Elixir programming language using LiveExWebRTC Components.☆11May 30, 2025Updated last year
- Bin Packing Algorithms implemented in Python☆11Feb 16, 2014Updated 12 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.
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- Compilador Geral Delégua☆12Aug 27, 2026Updated 2 months ago
- Elixir for Everybody☆17Jun 14, 2024Updated 2 years ago
- sbt plugin for scala modules.☆12Updated this week
- A nice and elegant theme for Ghost, inspired by the color Stitch blue.☆10Aug 2, 2019Updated 7 years ago
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated 2 years ago
- Action to run tests, check coverage, and send a feedback message to the pull request.☆11Jul 29, 2026Updated 3 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Curso de Deep Learning para programadores.☆21Aug 11, 2019Updated 7 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.
- Dados para os hackfests contra a corrupção promovidos pelo Analytics + MPPB + CGU + ...☆27Aug 14, 2018Updated 8 years ago
- Repositório para o meu curso na Udemy☆79Apr 8, 2024Updated 2 years ago
- Provides a slash command to create polls in Mattermost☆47Apr 13, 2026Updated 6 months ago
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Oct 28, 2026Updated last week
- ☆13Oct 1, 2026Updated last month
- A neural network built on top of Elixir☆17May 21, 2023Updated 3 years ago
- Front-end (web) homework project.☆10Apr 9, 2023Updated 3 years ago