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
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
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- A simple C program to demonstrate a Buffer Overflow.☆12Jul 31, 2021Updated 4 years ago
- Stub for polymorphic code☆11Mar 18, 2023Updated 2 years ago
- The Intel 8080 ("eighty-eighty") is the second 8-bit microprocessor designed and manufactured by Intel.☆15May 25, 2022Updated 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
- Write C smart contracts for signum network. Compile in your browser.☆20Dec 11, 2024Updated last year
- Tool for reading mhtml files and extracting images and text into separate files.☆28Sep 30, 2014Updated 11 years ago
- ☆20Jan 27, 2026Updated last month
- Val Schorre's META-II☆62Sep 8, 2013Updated 12 years ago
- JavaScript projects for beginners.☆10Oct 26, 2022Updated 3 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆17Feb 27, 2026Updated last week
- pacc: a compiler-compiler☆37Jul 31, 2016Updated 9 years ago
- PHP framework for Telegram Bots☆12Jan 3, 2023Updated 3 years ago
- Loja virtual para treinamento e desenvolvimento de aprendizagem da linguagem, usando PHP, JAVASCRIPT, JQUERY, MYSQL, BOOTSTRAP, CSS3☆10Apr 6, 2018Updated 7 years ago
- Parse a structured json file to react component☆10Aug 20, 2021Updated 4 years ago
- Automatically create GitHub repositories using YAML templates.☆12Jul 10, 2022Updated 3 years ago
- Find active github forks of a repo☆33Mar 15, 2021Updated 4 years ago
- Simples versão web, compatível com smartphones, para programar na linguagem do portugol studio.☆57Aug 17, 2024Updated last year
- flutter corona tracker app, still in beta..☆10May 3, 2020Updated 5 years ago
- Two Intellij IDEA plugins for uploading code / files to hastebin and Discord☆10Oct 7, 2024Updated last year
- This server is made to serve the MSN-Messenger app develop by Gabriel Godoy. This applications is capable to register users and messages …☆10Dec 20, 2022Updated 3 years ago
- RISC-V emulator in Zig☆15Nov 4, 2023Updated 2 years ago
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- 🆚 VSCode extension for custom status bar buttons. Buttons are used to execute custom commands in Terminals or to emulate short-cuts. The…☆14Jun 23, 2022Updated 3 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- ☆10Jun 2, 2020Updated 5 years ago
- ngtx stands for "Angular Testing Extensions". It is a small set of functions aiming to make your life easier when testing Angular compone…☆11Jan 30, 2026Updated last month
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Feb 26, 2026Updated last week
- A LEM mode to make Lisp code editing more efficient!☆41May 9, 2023Updated 2 years ago
- Official repository of the Jas assembler project - An assembler and library for generating code for x86☆47Feb 7, 2026Updated last month
- LTeX+ Language Server support for Zed☆16Dec 1, 2025Updated 3 months ago
- this tool will help shrink a lvm thinpool☆10Feb 15, 2023Updated 3 years ago
- ☆11Jun 29, 2025Updated 8 months ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Reversed WintaPix Malware Source code | That targets countries in the Middle East and abuse KeServiceDescriptorTable(SSDT), persistence a…☆22Jul 6, 2024Updated last year
- dired + fp☆13Feb 23, 2026Updated 2 weeks ago