Showing 1141 open source projects for "type it"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 1
    BlackSheep

    BlackSheep

    Fast ASGI web framework for Python

    ...Built-in generation of OpenAPI Documentation, supporting version 3, YAML, and JSON. A cross-platform framework, using the most modern versions of Python. BlackSheep supports automatic binding of values for request handlers, by type annotation or by conventions.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 2
    Sloth

    Sloth

    Mac app that shows all open files, directories, sockets, pipes, etc.

    ...This makes it easy to inspect which apps are using which files and sockets. View all open files, directories, IP sockets, devices, Unix domain sockets and pipes. Filter by name, access mode, volume, type, location, or using regular expressions. Sort by name, process ID, user ID, process type, bundle identifier, etc. Sloth is essentially a friendly, exploratory GUI built on top of the lsof command line tool. The output is parsed and shown in a searchable, filterable outline view with all sorts of convenient additional functionality. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Participle

    Participle

    A parser library for Go

    Participle is a parser library for Go that lets developers define parsers in an idiomatic Go style. It uses annotated Go structs to describe grammar rules and produce the parsed AST at the same time. This approach feels familiar to Go developers because it resembles the way struct tags are used for formats such as JSON. The library supports a rich grammar syntax with captures, recursive captures, grouping, alternatives, repetition, lookahead, and literal matching. It also supports custom...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 4
    SnapKit

    SnapKit

    A Swift Autolayout DSL for iOS & OS X

    SnapKit is a Swift DSL that simplifies Auto Layout for iOS and macOS. It uses expressive chaining syntax to create layout constraints in code more cleanly and concisely than native APIs. Compatible with Swift Package Manager, CocoaPods, and Carthage—used extensively in iOS/macOS UI development.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 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
  • 5
    StaticArrays.jl

    StaticArrays.jl

    Statically sized arrays for Julia

    StaticArrays.jl is a Julia package that provides statically sized arrays with fast, stack-allocated memory storage and optimized performance for small array computations. It is particularly useful in numerical computing where small fixed-size matrices or vectors are used frequently, such as in robotics, physics simulations, or linear algebra. StaticArrays eliminate dynamic memory allocation overhead and enable compile-time optimizations for performance close to hand-written loops.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 6
    International Components for Unicode

    International Components for Unicode

    The home of the ICU project source code

    ...ICU's collation is based on the Unicode Collation Algorithm plus locale-specific comparison rules from the Common Locale Data Repository, a comprehensive source for this type of data.
    Downloads: 21 This Week
    Last Update:
    See Project
  • 7
    Naive UI

    Naive UI

    A Vue 3 Component Library. Fairly Complete. Theme Customizable

    ...The library includes more than 90 components covering a wide range of interface needs such as forms, data displays, navigation elements, and feedback components, allowing developers to build complex applications efficiently. It is fully written in TypeScript, ensuring type safety and seamless integration with TypeScript-based projects. One of its defining characteristics is its advanced theming system, which allows developers to customize the appearance of components without relying on traditional CSS preprocessors or configuration-heavy setups. Naive UI is optimized for performance, with features such as virtualized lists for handling large datasets efficiently.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    PLT (Programming Languages Theory)

    PLT (Programming Languages Theory)

    Programming Language Theory

    Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes primary sources and high-quality lectures, encouraging readers to engage with rigorous treatments rather than superficial summaries. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Error Prone

    Error Prone

    Catch common Java mistakes as compile-time errors

    ...And sometimes a refactoring that seems safe can leave behind code that will never do what’s intended. We’re used to getting help from the compiler, but it doesn’t do much beyond static type checking. Using Error Prone to augment the compiler’s type analysis, you can catch more mistakes before they cost you time, or end up as bugs in production. We use Error Prone in Google’s Java build system to eliminate classes of serious bugs from entering our code, and we’ve open-sourced it, so you can too.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 10
    optparse-applicative

    optparse-applicative

    Applicative option parser

    optparse-applicative is a haskell library for parsing options on the command line, and providing a powerful applicative interface for composing them. optparse-applicative takes care of reading and validating the arguments passed to the command line, handling and reporting errors, generating a usage line, a comprehensive help screen, and enabling context-sensitive bash, zsh, and fish completions. A value of type Parser a represents a specification for a set of options, which will yield a value of type a when the command line arguments are successfully parsed. If you are familiar with parser combinator libraries like parsec, attoparsec, or the json parser aeson you will feel right at home with optparse-applicative. If not, don't worry! All you really need to learn are a few basic parsers, and how to compose them as instances of Applicative and Alternative.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Goyave

    Goyave

    Elegant Golang REST API Framework (v5 WIP)

    Goyave is a Golang REST API framework aiming at cleanliness, fast development and power. Goyave is a progressive and accessible web application framework focused on REST APIs, aimed at making backend development easy and enjoyable. It has a philosophy of cleanliness and conciseness to make programs more elegant, easier to maintain and more focused. Get started quickly and master all its powerful functionalities thanks to its extensive documentation. Goyave has an expressive, elegant syntax,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Rescript Compiler

    Rescript Compiler

    The compiler for ReScript

    ...ReScript cares about a consistent and fast feedback loop for any codebase size. Refactor code, pull complex changes or switch to feature branches as you please. No sluggish CI builds stale caches, wrong type hints, or memory-hungry language servers that slow you down. Every ReScript app is fully typed and provides reliable type information for any given value in your program. We prioritize simpler types over complex types for the sake of clarity and easy debugability. No `any`, no magic types, no surprise `undefined`. Use any library from JavaScript, export ReScript libraries to JavaScript, and automatically generate TypeScript types. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    pgsodium

    pgsodium

    Modern cryptography for PostgreSQL using libsodium

    pgsodium is an encryption library extension for PostgreSQL using the libsodium library for high-level cryptographic algorithms. pgsodium can be used a straight interface to libsodium, but it can also use a powerful feature called Server Key Management where pgsodium loads an external secret key into memory that is never accessible to SQL. This inaccessible root key can then be used to derive sub-keys and keypairs by key id. This id (type bigint) can then be stored instead of the derived key.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 14
    FunctionalPlus

    FunctionalPlus

    Functional Programming Library for C++

    Great code should mostly be self-documenting, but while using C++ in reality you can find yourself dealing with low-level stuff like iterators or hand-written loops that distract from the actual essence of your code. FunctionalPlus is a small header-only library supporting you in reducing code noise and in dealing with only one single level of abstraction at a time. By increasing brevity and maintainability of your code it can improve productivity (and fun!) in the long run. It pursues these...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 15
    LibPDF

    LibPDF

    A modern PDF library for TypeScript

    LibPDF-js/core is a modern, TypeScript-first PDF processing library that provides a comprehensive toolkit for parsing, modifying, and generating PDF documents with a clean, intuitive API designed to handle real-world files safely and robustly. Unlike many existing JavaScript PDF libraries, it emphasizes lenient parsing that can gracefully handle malformed structures and fallback strategies where typical parsers fail, making it useful for production environments that encounter unpredictable...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 16
    lua-language-server

    lua-language-server

    A language server that offers Lua language support - programmed in Lua

    The Lua language server provides various language features for Lua to make development easier and faster. With around half a million installs on Visual Studio Code, it is the most popular extension for Lua language support. The language server can be installed for use in Visual Studio Code, NeoVim, and any other clients that support the Language Server Protocol. The language server can be configured using a configuration file. The language server and Visual Studio Code client can be...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 17
    fireworks-js

    fireworks-js

    Simple fireworks library! Ready to use components available for React

    A simple fireworks library! Ready-to-use components available for React, Vue 3, Svelte, Angular, Preact, Solid, and Web Components.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    TanStack Form

    TanStack Form

    Headless, performant, and type-safe form state management

    TanStack Form is a powerful, headless form management library designed to simplify form handling in web applications. It offers a flexible and extensible API that allows developers to manage form state, validation, and submission with ease. By providing a headless architecture, TanStack Form enables seamless integration with various UI frameworks and custom components, promoting a clean separation between form logic and presentation.​
    Downloads: 3 This Week
    Last Update:
    See Project
  • 19
    jQuery Terminal

    jQuery Terminal

    JavaScript library for creating web-based terminals

    ...An object can have nested objects which will create a nested interpreter (you can create an interactive menu of adventure games with this). You can also use a function in which you can parse user commands by yourself (you have full control of what users type into the terminal). It's ideal if you want to provide additional functionality for power users.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    scalajs-react

    scalajs-react

    Facebook's React on Scala.JS

    Scala.js React wraps Facebook React for Scala.js with a strong emphasis on type safety and functional idioms. It provides a typed virtual DOM interface, reusable components, hooks, and utilities for routing, testing, SSR, and performance profiling, all aligned with Cats, Cats Effect, and Monocle ecosystems.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    Flix

    Flix

    The Flix Programming Language

    Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    VARLET

    VARLET

    A Vue3 component library based on Material Design 2 and 3

    Varlet UI is a Material design component library developed based on Vue3, supporting mobile and desktop, developed and maintained by varletjs organization. Support Typescript, import on demand, dark mode, theme customization, internationalization, and provide VSCode plugin to ensure a good development experience.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    Krayin CRM

    Krayin CRM

    Free & Opensource Laravel CRM solution for SMEs and Enterprises

    Krayin CRM is a hand-tailored CRM framework built on some of the hottest open-source technologies such as Laravel (a PHP framework) and Vue.js a progressive Javascript framework. Free & Opensource Laravel CRM solution for SMEs and Enterprises for complete customer lifecycle management. We also have a forum for any type of concerns, feature requests, or discussions. Please visit: Krayin CRM Forums.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 24
    kube-vip

    kube-vip

    Kubernetes Control Plane Virtual IP and Load-Balancer

    kube-vip provides Kubernetes clusters with a virtual IP and load balancer for both the control plane (for building a highly-available cluster) and Kubernetes Services of type LoadBalancer without relying on any external hardware or software. ARP is a layer 2 protocol that is used to inform the network of the location of a new address. When a new IP address is configured to a device, there needs to be a mechanism to inform the network of which piece of hardware is hosting this new address. ARP is the technology that is used to ensure that a network understands the link between the hardware address (MAC) and the logical address (IP).
    Downloads: 5 This Week
    Last Update:
    See Project
  • 25
    arkade

    arkade

    Open Source Marketplace For Developer Tools

    arkade is how developers install the latest versions of their favorite CLI tools and Kubernetes apps. With arkade get, you'll have kubectl, kind, terraform, and jq on your machine faster than you can type apt-get install or brew update. With over 120 CLIs and 55 Kubernetes apps (charts, manifests, installers) available for Kubernetes, gone are the days of contending with dozens of README files just to set up a development stack with the usual suspects like ingress-nginx, Postgres, and cert-manager.
    Downloads: 2 This Week
    Last Update:
    See Project