Lista de Linguagens de Programação por Tipo de Paradigma e ferramentas de uso nas linguagens. Lista baseada em outros repositórios encontrados no github.
☆27Jul 20, 2020Updated 6 years ago
Alternatives and similar repositories for list-programming-language
Users that are interested in list-programming-language are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lossless PDF compressor☆20Mar 6, 2024Updated 2 years ago
- ☆10May 14, 2026Updated 4 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated 2 weeks ago
- Ps4 Pkg Downgrade Tools Gui☆12Aug 4, 2020Updated 6 years ago
- Open Source Devs - An open-source contribution project for newcomers (PRs count towards Hacktoberfest)☆26Feb 13, 2026Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Newman reporter allowing to decorate pull request with postman collection results.☆10Nov 2, 2023Updated 2 years ago
- Design by Contract for Java☆12Apr 13, 2013Updated 13 years ago
- ☆16Apr 1, 2019Updated 7 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- [DEPRECATED — See notice in README.md] Fork of libssh that includes prototype quantum-resistant algorithms based on liboqs.☆14Jan 7, 2025Updated last year
- Grundig Vision 7, 4K - Amazon Fire TV Bootloader (u-boot) Source Code☆15Sep 28, 2021Updated 5 years ago
- ☆16Aug 3, 2025Updated last year
- Apple Encrypted Archive☆28Sep 26, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Useful bash utility scripts for Chrome/Chromium OS systems☆12Nov 13, 2017Updated 8 years ago
- A study of undefined behavior on various platforms, compilers, and tools☆20Sep 2, 2025Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- README.md☆20Jun 19, 2026Updated 3 months ago
- "Essential Information about Algorithms and Data Structures"☆14Oct 18, 2017Updated 8 years ago
- A VSCode extension that generates README.md files☆11Nov 18, 2025Updated 10 months ago
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- This build has been moved - see README.md☆12Dec 12, 2019Updated 6 years ago
- Arthur's Formal Metatheory in Coq☆22Feb 6, 2026Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- AssemblyScript implementation of SHA256☆19Mar 18, 2022Updated 4 years ago
- The Ethereum Improvement Proposal repository☆10Updated this week
- ☆16Oct 11, 2024Updated 2 years ago
- ☆16Jun 20, 2024Updated 2 years ago
- Live deployment of the remix IDE (alpha)☆15Sep 7, 2026Updated last month
- A living market landscape with a technology foundation, created by and for the DLT community☆16Updated this week
- Moved to buildkite/bktest — Buildkite Test Engine collector for Ruby test frameworks☆21Aug 24, 2026Updated last month
- Sokoban (in Coq) [maintainer=@erikmd]☆25Jan 3, 2025Updated last year
- SPDX license and identifier lookup☆14Jul 5, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 🤖 每日自動更新 README.md 的工作機會清單☆14Mar 17, 2022Updated 4 years ago
- The Docker extension for GitHub Copilot (@docker) is a plugin that extends GitHub Copilot's technology to assist developers in working wi…☆18Aug 14, 2024Updated 2 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Jul 21, 2026Updated 2 months ago
- 个人笔记☆19Sep 20, 2026Updated 3 weeks ago
- ☆18Aug 10, 2026Updated 2 months ago
- An advanced playlist manager for youtube, that lets you perform various batch actions.☆28Sep 30, 2020Updated 6 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Updated this week