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.☆11Jul 31, 2021Updated 5 years ago
- Stub for polymorphic code☆11Mar 18, 2023Updated 3 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Pra pagar ou receber... manda um Pix-code!☆13Jun 12, 2025Updated last year
- 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.
- ☆11Mar 6, 2023Updated 3 years ago
- ☆11Feb 10, 2023Updated 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
- Re-implementation of a minimal interpreter for a subset of Haskell☆38Sep 24, 2025Updated 10 months ago
- Tutorial de OCaml para iniciantes na Linguagem.☆388Aug 19, 2023Updated 2 years ago
- A simple tool that can save your life in an invasion. It consists of the junction of several modules (Commands/Loads) essential in an inv…☆13Feb 25, 2022Updated 4 years ago
- Livro de Assembly x86 e x86-64☆152Mar 28, 2023Updated 3 years ago
- BSPWM (GruvBox Rice)☆20Jun 9, 2021Updated 5 years ago
- Write C smart contracts for signum network. Compile in your browser.☆21Dec 11, 2024Updated last year
- 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.
- A simple video sharing service.☆18Jul 28, 2021Updated 5 years ago
- Algorithms implemented in C++☆19Mar 22, 2021Updated 5 years ago
- pacc: a compiler-compiler☆37Jul 31, 2016Updated 10 years ago
- Script feito em PHP que faz consultas de nomes por cpf no banco de dados do Sistema Único de Saúde (SUS)☆40Jan 15, 2019Updated 7 years ago
- Where my everyday research happens☆57Jul 28, 2026Updated 3 weeks ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 3 years ago
- Rich text editor built with Lit and Material MWC components.☆25May 23, 2026Updated 2 months ago
- ☆20Jan 27, 2026Updated 6 months ago
- petitboot for ps3 with kexec "sort_segments failed" fixed☆13May 28, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Uma API com várias frases de livros em PT-BR!☆30Dec 9, 2022Updated 3 years ago
- Design by Contract for Java☆12Apr 13, 2013Updated 13 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- Tool to convert plain text to LaTeX, HTML, and other formats (migrated to codeberg.org)☆13Feb 5, 2026Updated 6 months ago
- Xinc - Continuous Integration Server☆12Jan 13, 2016Updated 10 years ago
- Official unixwmbr community repository.☆44Dec 16, 2022Updated 3 years ago
- MuJS is a lightweight Javascript interpreter designed for embedding in other software to extend them with scripting capabilities. It is w…☆16Jan 1, 2016Updated 10 years ago
- ☆66Apr 20, 2026Updated 3 months ago
- Use external downloader directly from Firefox's native download asking dialog (Use on your own risk !!)☆15Jul 26, 2026Updated 3 weeks 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.
- 👻☆12Updated this week
- ☆18Jan 14, 2018Updated 8 years ago
- Benchmark codes and results for comparing crow and other frameworks.☆38Apr 3, 2018Updated 8 years ago
- 🕶A plugin for the Android version of GTASA to allow players to join SAMP (PC) matches☆20Jul 22, 2024Updated 2 years ago
- Repositório contendo vários exercícios de lógica de programação em diversas linguagens.☆54Oct 21, 2022Updated 3 years ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆45Updated this week
- small script for managing google scholar alert emails☆11May 6, 2023Updated 3 years ago