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☆19Mar 6, 2024Updated 2 years ago
- some iterator patterns for Zig lang☆11Aug 7, 2022Updated 4 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Aug 25, 2026Updated last week
- Local shell commands for the Bevy game engine☆19Jan 23, 2026Updated 7 months ago
- ⚡ The fastest line counter. At least on my computer.☆17Jul 5, 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.
- Zig ULID☆14Oct 17, 2024Updated last year
- zig iterators☆14Dec 11, 2023Updated 2 years ago
- ☆10Dec 25, 2024Updated last year
- Memory utilities for the Zig programming language, including a reference counted pointer☆17Nov 26, 2023Updated 2 years ago
- ☆15Apr 1, 2019Updated 7 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- Hunt down sus ZLS activity by spamming ZLS with hot req/notif garbage☆21May 14, 2026Updated 3 months ago
- ☆16Aug 3, 2025Updated last year
- A Zig Module for Random Number Distributions☆18Sep 1, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆10Oct 12, 2024Updated last year
- Generic tracing library for Zig, supports multiple backends.☆24Aug 24, 2026Updated last week
- A study of undefined behavior on various platforms, compilers, and tools☆20Sep 2, 2025Updated last year
- How to use Entity Framework Core with Akka.NET☆11Oct 17, 2018Updated 7 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- Command line toolkit for Zig☆26Jan 13, 2023Updated 3 years ago
- Docker container for an OCaml + OPAM setup☆23Nov 28, 2016Updated 9 years ago
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated last year
- "Essential Information about Algorithms and Data Structures"☆14Oct 18, 2017Updated 8 years 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.
- ☆19Jul 30, 2024Updated 2 years ago
- Arthur's Formal Metatheory in Coq☆22Feb 6, 2026Updated 6 months ago
- timoni.sh module for cert-manager☆14Apr 27, 2024Updated 2 years ago
- A 2d programming language☆19Mar 29, 2026Updated 5 months ago
- Repository for developing software for a "personal cloud" project☆25Jun 24, 2022Updated 4 years ago
- Linux memory pressure evaluation discovery toolkit☆15Feb 16, 2023Updated 3 years ago
- OpenTracing instrumentation for Scala Akka☆16Mar 15, 2025Updated last year
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Jul 21, 2026Updated last month
- A benchmarking library for zig.☆32Mar 24, 2024Updated 2 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.
- The SCS Cluster Stack Operator takes care of life cycle management, configuration and provider specific tasks of Kubernetes clusters crea…☆18Aug 21, 2026Updated last week
- A yummy collection of useful Allocators.☆27Updated this week
- ☆36Apr 14, 2022Updated 4 years ago
- An advanced playlist manager for youtube, that lets you perform various batch actions.☆28Sep 30, 2020Updated 5 years ago
- Automated integration testing based on recorded play-testing sessions☆32Jun 9, 2024Updated 2 years ago
- Zig another compiler compiler☆28Apr 17, 2023Updated 3 years ago
- WIP port of the ZenGarden PureData audio synthesis engine to Rust☆31Feb 20, 2019Updated 7 years ago