6 projects for "repository" with 2 filters applied:

  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 1
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

    ...The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform.
    Downloads: 106 This Week
    Last Update:
    See Project
  • 2
    PLT (Programming Languages Theory)

    PLT (Programming Languages Theory)

    Programming Language Theory

    ...It’s designed to serve both as a starting guide for newcomers and as a reference index for experienced practitioners, filling in gaps. By treating PL theory as an accessible, progressive curriculum, the repository lowers the barrier to serious study without diluting the subject.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Enterprise

    Enterprise

    The Enterprise™ programming language

    ...Rather than aiming to solve a practical technical problem, it serves as a parody of enterprise-grade software, showcasing exaggerated patterns such as excessive abstraction, redundant layers, and convoluted architectures. The repository is often used as a teaching tool to highlight anti-patterns in software engineering, helping developers recognize and avoid overly complicated designs in real-world projects. Despite its humorous nature, the project is technically functional and demonstrates how complexity can accumulate when design principles are misapplied. It resonates particularly with developers who have experience in large organizations, where similar patterns sometimes emerge unintentionally.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    erlang-bookmarks

    erlang-bookmarks

    All about erlang programming language [powerd by community]

    erlang-bookmarks is a curated open-source collection of useful resources for developers working with the Erlang programming language. Rather than being a software library, the repository functions as a community-maintained knowledge hub that aggregates articles, tools, tutorials, and documentation links relevant to Erlang development. The project is intended to help both newcomers and experienced engineers quickly discover high-quality learning materials and ecosystem references. Contributions are encouraged through pull requests or link submissions, making the collection continuously expandable. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Try Free
  • 5
    Mega Project List

    Mega Project List

    List of practical projects that anyone can solve in any prog language

    ...The concept is simple but powerful: instead of just memorizing algorithms, you pick a project (for example “Binary to Decimal and Back Converter”), implement it in your favorite language, and gradually build a portfolio of varied programming tasks. The repository has been widely referenced as a go-to for developers looking for ideas to practice, build side-projects, or create interview-prep exercises. Each entry is described in plain language, often with optional “added complexity” suggestions. The repo encourages contributions: you can add new projects, or strip duplicate items, and you can choose any language to implement.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Go Programming Blueprints

    Go Programming Blueprints

    Source code for Go Programming Blueprints

    Go Blueprints is the official source code repository for Mat Ryer’s book Go Programming Blueprints. It provides the example projects and supporting code used throughout the book. The repository is meant to help readers follow along, study working implementations, and experiment with practical Go application patterns. It includes materials for different editions of the book, making it useful for readers depending on the version they own.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next