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 2 months ago
- Code for paper `Interpreting the Latent Space of GANs for Semantic Face Editing`☆14Aug 7, 2019Updated 6 years ago
- A sample Java application that is protected by Spring Security SAML2.☆16Aug 31, 2017Updated 8 years ago
- Repository for the assignments in the Massive Open Online Course "LAFF-On Programming for Correctness"☆12Apr 24, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- ☆13Jan 5, 2017Updated 9 years ago
- ☆13Dec 2, 2021Updated 4 years ago
- Remove a path or directory while in a GitHub Actions job☆26May 31, 2024Updated 2 years ago
- A vue.js based SAAS starter with a custom clerk authentication flow and components integration☆18Dec 21, 2025Updated 5 months ago
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- An experimental path tracer written from scratch in C++.☆12Dec 21, 2019Updated 6 years ago
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 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.
- 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
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Elixir for Everybody☆17Jun 14, 2024Updated 2 years ago
- Open Source panel to orchestrate agents, terminal, and git☆85May 3, 2026Updated last month
- Bin Packing Algorithms implemented in Python☆11Feb 16, 2014Updated 12 years ago
- Introdução a Arquitetura de Computadores☆16Jun 26, 2016Updated 9 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 5 years ago
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated 2 years ago
- sbt plugin for scala modules.☆14May 3, 2026Updated last month
- 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.
- Sapphire is a hybrid programming language developed with a focus on high performance, simplicity, and a complete "out-of-the-box" experie…☆30Mar 10, 2026Updated 3 months ago
- Platform-aware programming in Julia☆13May 28, 2026Updated 3 weeks ago
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated 2 years ago
- Action to run tests, check coverage, and send a feedback message to the pull request.☆12May 11, 2026Updated last month
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- A tiny sample Flask app featuring a database and user accounts☆12Apr 13, 2026Updated 2 months ago
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Feb 1, 2022Updated 4 years ago
- Provides a slash command to create polls in Mattermost☆47Apr 13, 2026Updated 2 months ago
- A Gleam syntax highlighter in Gleam☆23Oct 14, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Curso de Deep Learning para programadores.☆21Aug 11, 2019Updated 6 years ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- Dados para os hackfests contra a corrupção promovidos pelo Analytics + MPPB + CGU + ...☆27Aug 14, 2018Updated 7 years ago
- A nice and elegant theme for Ghost, inspired by the color Stitch blue.☆10Aug 2, 2019Updated 6 years ago
- ☆13Updated this week
- Repositório para o meu curso na Udemy☆73Apr 8, 2024Updated 2 years ago
- Livebook SmartCell for fetching Advent of Code puzzles and inputs, and to publish solutions☆16Dec 1, 2024Updated last year