Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.
☆23Nov 4, 2020Updated 5 years ago
Alternatives and similar repositories for FPAboveUs
Users that are interested in FPAboveUs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- um Bot de Telegram com o intuito de agir como um ser humano comum, gerenciar grupos sozinha e atender alguns pedidos dos membros comuns.☆17Feb 8, 2024Updated 2 years ago
- A simple C program to demonstrate a Buffer Overflow.☆12Jul 31, 2021Updated 4 years ago
- Stub for polymorphic code☆11Mar 18, 2023Updated 3 years ago
- Implementações dos princípios básicos e intermediários de Estrutura de Dados em Haskell!☆22Aug 4, 2025Updated 7 months ago
- ☆11Apr 8, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆10Dec 1, 2021Updated 4 years ago
- Teste para vaga dev desenvolvimento web☆26Apr 15, 2023Updated 2 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Mar 25, 2022Updated 4 years ago
- An asdf plugin for managing Haskell tools based on GHCup☆20Oct 19, 2025Updated 5 months ago
- ☆11May 3, 2021Updated 4 years ago
- ☆13Nov 10, 2024Updated last year
- Exercises for the course T-61.5130 Machine Learning and Neural Networks☆11Dec 3, 2014Updated 11 years ago
- QNAP N-Day (Probably not CVE-2020-2509)☆14Jul 27, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- iCTF 2013 service based on a DalvikVM☆22Dec 10, 2013Updated 12 years ago
- Conteúdo do treinamento/brainstorming Introdução a engenharia reversa no Windows feito com muito carinho por mim.☆17Oct 13, 2022Updated 3 years ago
- This is a database of sample c++ functions that can be run from Unity C# script.☆13Jan 21, 2019Updated 7 years ago
- Tool for managing Image4 files.☆21May 10, 2024Updated last year
- MATLAB toolbox designed for analysis of grounding grids (grounding impedance, GPR, leakage currents, touch voltage, step voltage distribu…☆10Oct 27, 2025Updated 5 months ago
- Projetos, conteúdos e ideias da disciplina de Engenharia de Software, Ciência da Computação, Universidade de Brasília (UnB)☆12Sep 7, 2020Updated 5 years ago
- Tool for reading mhtml files and extracting images and text into separate files.☆28Sep 30, 2014Updated 11 years ago
- Binary formats☆30Updated this week
- Website of the Floripa+ organization - built with Next.js and integrated with Strapi CMS☆18Mar 17, 2021Updated 5 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Re-implementation of a minimal interpreter for a subset of Haskell☆37Sep 24, 2025Updated 6 months ago
- A Discord bot for control and decentralization of threads management☆15Feb 16, 2022Updated 4 years ago
- The Haskell implementation of the Milho programming language.☆29Jul 17, 2023Updated 2 years ago
- Tutorial de OCaml para iniciantes na Linguagem.☆388Aug 19, 2023Updated 2 years ago
- ☆11Jul 22, 2022Updated 3 years ago
- Exemplary fullstack Medium.com clone powered by Servant and Beam☆33Aug 4, 2019Updated 6 years ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Jun 3, 2024Updated last year
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Scripts and notes for Playstation 4/5 reverse engineering☆23Jan 27, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Livro de Assembly x86 e x86-64☆144Mar 28, 2023Updated 3 years ago
- Val Schorre's META-II☆62Sep 8, 2013Updated 12 years ago
- Write C smart contracts for signum network. Compile in your browser.☆20Dec 11, 2024Updated last year
- This is a set of scripts and exploits for attacking njrat servers.☆13Dec 9, 2022Updated 3 years ago
- Dump complex C declarations visually.☆65Dec 27, 2025Updated 3 months ago
- pacc: a compiler-compiler☆37Jul 31, 2016Updated 9 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago