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 3 weeks 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
- 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.
- 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 4 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
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Elixir for Everybody☆17Jun 14, 2024Updated last year
- Bin Packing Algorithms implemented in Python☆11Feb 16, 2014Updated 12 years ago
- Open Source panel to orchestrate agents, terminal, and git☆70Updated this week
- Introdução a Arquitetura de Computadores☆15Jun 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 last year
- sbt plugin for scala modules.☆14Updated this week
- 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…☆28Mar 10, 2026Updated last month
- 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 2 years ago
- Action to run tests, check coverage, and send a feedback message to the pull request.☆12Apr 27, 2026Updated last 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☆12Apr 13, 2026Updated 3 weeks 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 3 weeks ago
- AI Intent Driven Development (IDD) guidelines and instructions for AI Coding Agents, AI Coding Assistants, and LLMs.☆34Jan 27, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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☆72Apr 8, 2024Updated 2 years ago
- ☆13Apr 8, 2026Updated last month