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 last week
- 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 7 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 last year
- A vue.js based SAAS starter with a custom clerk authentication flow and components integration☆18Dec 21, 2025Updated 3 months ago
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Using JavaScript and NodeJS (Puppeteer module), this script automates signing in to Google in extra stealth, navigates to Google Meet, tu…☆29Jan 4, 2021Updated 5 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- AI Intent Driven Development (IDD) guidelines and instructions for AI Coding Agents, AI Coding Assistants, and LLMs.☆32Jan 27, 2026Updated 2 months ago
- Sapphire is a hybrid programming language developed with a focus on high performance, simplicity, and a complete "out-of-the-box" experie…☆28Mar 10, 2026Updated last month
- Bin Packing Algorithms implemented in Python☆11Feb 16, 2014Updated 12 years ago
- Elixir for Everybody☆17Jun 14, 2024Updated last year
- Introdução a Arquitetura de Computadores☆14Jun 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated last year
- sbt plugin for scala modules.☆14Apr 7, 2026Updated last week
- Platform-aware programming in Julia☆13Nov 29, 2024Updated last year
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- Action to run tests, check coverage, and send a feedback message to the pull request.☆12Updated this week
- 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☆12Updated this week
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Feb 1, 2022Updated 4 years ago
- Provides a slash command to create polls in Mattermost☆47Updated this week
- AI Agents on 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.
- Curso de Deep Learning para programadores.☆21Aug 11, 2019Updated 6 years ago
- A Gleam syntax highlighter in Gleam☆23Oct 14, 2025Updated 6 months ago
- Dados para os hackfests contra a corrupção promovidos pelo Analytics + MPPB + CGU + ...☆27Aug 14, 2018Updated 7 years ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- A nice and elegant theme for Ghost, inspired by the color Stitch blue.☆10Aug 2, 2019Updated 6 years ago
- Repositório para o meu curso na Udemy☆70Apr 8, 2024Updated 2 years ago
- ☆13Apr 8, 2026Updated last week