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
- FleakOS Kernel Source Tree☆27Oct 11, 2024Updated last year
- 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 9 months ago
- ☆13Nov 22, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Código e base de dados em .csv e .shp com geolocalização de todas as Agências Bancárias de instituições financeiras sob supervisão do BAC…☆12Oct 26, 2020Updated 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 6 months ago
- ☆11Mar 6, 2023Updated 3 years ago
- Binary formats☆30Updated this week
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆18Mar 4, 2026Updated 2 months ago
- ☆11Feb 10, 2023Updated 3 years ago
- Re-implementation of a minimal interpreter for a subset of Haskell☆38Sep 24, 2025Updated 7 months 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.
- 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
- Lightweight frontend library for GHC with JavaScript Backend☆18Dec 17, 2024Updated last year
- The Simple OpenGL Image Library for Mac OS X☆11Aug 19, 2011Updated 14 years ago
- Val Schorre's META-II☆63Sep 8, 2013Updated 12 years ago
- Write C smart contracts for signum network. Compile in your browser.☆21Dec 11, 2024Updated last year
- ☆16Oct 29, 2024Updated last year
- Helps a team run a retrospective meeting. Built using Elixir, Phoenix, and LiveView. Contributions and questions are very welcome!☆13Oct 6, 2023Updated 2 years ago
- A simple video sharing service.☆18Jul 28, 2021Updated 4 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.
- pacc: a compiler-compiler☆37Jul 31, 2016Updated 9 years ago
- ☆13Sep 10, 2023Updated 2 years ago
- ☆20Jan 27, 2026Updated 3 months ago
- A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…☆22Jan 25, 2012Updated 14 years ago
- Interpreter is a minimalist yet powerful tool designed to interpret and execute a subset of the C programming language.☆25Mar 3, 2024Updated 2 years ago
- Coleção de materiais e links para aprendizado de C e C++, em português ou inglês.☆404Apr 27, 2025Updated last year
- Rich text editor built with Lit and Material MWC components.☆25Feb 14, 2022Updated 4 years ago
- PE Injector - Inject code on 32-bit and 64-bit PE executables☆36Sep 5, 2021Updated 4 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- MIME types for use in browsers☆17Aug 26, 2024Updated last year
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- Official unixwmbr community repository.☆44Dec 16, 2022Updated 3 years ago
- ☆63Apr 20, 2026Updated 2 weeks 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
- Many small scripts generate, comprise, and run a build system. (An adaptation of djb's "redo" build-tool idea.)☆22May 8, 2015Updated 11 years ago
- Use external downloader directly from Firefox's native download asking dialog (Use on your own risk !!)☆15Sep 21, 2025Updated 7 months ago