Showing 586 open source projects for "programming languages"

View related business solutions
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • Arryved POS System Icon
    Arryved POS System

    Drive contagious loyalty with your guests and staff with a POS and Brewery Management system that helps run your craft brewery better.

    Arryved was built to help craft beverage makers thrive.
    Learn More
  • 1
    SuperCollider

    SuperCollider

    Audio server, programming language, and IDE for sound synthesis

    SuperCollider is a platform for audio synthesis and algorithmic composition, used by musicians, artists, and researchers working with sound. It is free and open source software available for Windows, macOS, and Linux. scsynth, a real-time audio server, forms the core of the platform. It features 400+ unit generators (“UGens”) for analysis, synthesis, and processing. Its granularity allows the fluid combination of many known and unknown audio techniques, moving between additive and...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    Idris 2

    Idris 2

    A purely functional programming language with first class types

    In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Starlark in Go

    Starlark in Go

    Starlark in Go: the Starlark configuration language, implemented in Go

    starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications. The Go-based interpreter allows developers to run or embed Starlark programs...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 4
    HAXE

    HAXE

    The cross-platform toolkit

    Haxe is an open source high-level strictly-typed programming language with a fast optimizing cross-compiler. Haxe can build cross-platform applications targeting JavaScript, C++, C#, Java, JVM, Python, Lua, PHP, Flash, and allows access to each platform's native capabilities. Haxe has its own VMs (HashLink and NekoVM) but can also run in interpreted mode. Haxe is useful in a wide variety of domains; games, web, mobile, desktop, command-line and cross-platform APIs. Take a look at who is...
    Downloads: 8 This Week
    Last Update:
    See Project
  • Download the most trusted enterprise browser Icon
    Download the most trusted enterprise browser

    Chrome Enterprise brings enterprise controls and easy integrations to the browser users already know and love.

    Chrome Enterprise is ideal for businesses of all sizes, IT professionals, and organizations looking for a secure, scalable, and easily managed browser solution that supports remote work, data protection, and streamlined enterprise operations.
    Learn More
  • 5
    Avocado programming language

    Avocado programming language

    Avocado Polish programming language

    Avocado is a modern programming language with a simple, Python-like syntax, supporting commands in both Polish and English. The code is transpiled to Free Pascal and compiled into a native .exe, ensuring C/Rust-level performance (Zero-Runtime). 🔥 New: Avoraiser GUI Framework Avocado is no longer just for the console! We have introduced Avoraiser, an ultra-lightweight framework for building desktop applications.
    Leader badge
    Downloads: 34 This Week
    Last Update:
    See Project
  • 6
    Bazel

    Bazel

    Fast, scalable, multi-language and extensible build system

    ...Bazel helps you scale your organization, codebase and Continuous Integration system. It handles codebases of any size, in multiple repositories or a huge monorepo. Easily add support for new languages and platforms with Bazel's familiar extension language. Share and re-use language rules written by the growing Bazel community. Bazel is the common build tool throughout Pinterest and has been instrumental in achieving fast, reproducible builds across our programming languages and platforms.
    Downloads: 70 This Week
    Last Update:
    See Project
  • 7
    YueScript

    YueScript

    A Moonscript dialect compiles to Lua

    A language that compiles to Lua. Yuescript is a Moonscript dialect. It is derived from Moonscript language 0.5.0 and continuously adopts new features to be more up-to-date. Moonscript is a language that compiles Lua. Since the original Moonscript has been used to write web framework lapis and run a few business websites like itch.io and streak.club with some large code bases. The original language is getting too hard to adopt new features for those that may break the stability of existing...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    Mangle

    Mangle

    Go library for Datalog-style logical reasoning and domain modeling

    Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    Luau

    Luau

    Fast, small, safe, gradually typed embeddable scripting language

    It is designed to be backward compatible with Lua 5.1, as well as incorporating some features from future Lua releases, but also expands the feature set (most notably with type annotations). Luau is largely implemented from scratch, with the language runtime being a very heavily modified version of Lua 5.1 runtime, with a completely rewritten interpreter and other performance innovations. The runtime mostly preserves Lua 5.1 API, so existing bindings should be more or less compatible with a...
    Downloads: 33 This Week
    Last Update:
    See Project
  • Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK. Icon
    Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK.

    With Ditto Edge Server, you can join devices as small as a Raspberry Pi to a local mesh network and synchronize data across edge environments.

    Ditto's Edge SDK is the only thing your edge devices need to ensure your application is operational in any environment, regardless of network conditions.
    Learn More
  • 10
    Wasp

    Wasp

    A programming language that understands what a web app is

    Wasp (Web Application Specification Language) is a declarative DSL (domain-specific language) for developing, building and deploying modern full-stack web apps with less code. Concepts such as app, page, user, login, frontend, production, etc. are baked into the language, bringing a new level of expressiveness and allowing you to get more work done with fewer lines of code. While describing high-level features with Wasp, you still write the rest of your logic in your favorite technologies...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 11
    Spring Framework

    Spring Framework

    Comprehensive programming and configuration model for modern apps

    The Spring Framework provides a comprehensive programming and configuration model for modern Java-based enterprise applications, on any kind of deployment platform. A key element of Spring is infrastructural support at the application level: Spring focuses on the "plumbing" of enterprise applications so that teams can focus on application-level business logic, without unnecessary ties to specific deployment environments.
    Downloads: 24 This Week
    Last Update:
    See Project
  • 12
    Autocxx

    Autocxx

    Tool for safe ergonomic Rust/C++ interop driven from existing C++

    autocxx is an open source Rust tool and procedural macro designed to enable automatic, safe interoperability between C++ and Rust. It integrates the functionality of bindgen (for parsing and generating Rust bindings from C++ headers) with cxx (for safe and idiomatic Rust–C++ communication), automating the creation of bridges between the two languages. With autocxx, developers can include C++ headers directly in Rust source code and automatically generate bindings for the corresponding C++...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    Prettier

    Prettier

    Opinionated Code Formatter

    Prettier is an open source, opinionated code formatter that basically takes all the original styling of your code and enforces a consistent code style through parsing and reprinting following its own rules. It takes the maximum line length into account, wrapping code if needed. Prettier makes writing code in one consistent style automatic, painless and so much easier. No need to spend so much time, effort and mental energy discussing styles or formatting your code. Simply press save and...
    Downloads: 20 This Week
    Last Update:
    See Project
  • 14
    Gherkin

    Gherkin

    A parser and compiler for the Gherkin language

    Gherkin is a domain-specific language used in behavior-driven development (BDD) to describe software behaviors in a human-readable format. It allows stakeholders to write test cases in plain language, bridging the gap between technical and non-technical team members.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 15
    gRPC-Gateway

    gRPC-Gateway

    gRPC to JSON proxy generator following the gRPC HTTP spec

    ...This server is generated according to custom options in your gRPC definition. gRPC-Gateway helps you to provide your APIs in both gRPC and RESTful style at the same time. gRPC is great -- it generates API clients and server stubs in many programming languages, it is fast, easy to use, and bandwidth-efficient and its design is combat-proven by Google. However, you might still want to provide a traditional RESTful JSON API as well. Reasons can range from maintaining backward compatibility, supporting languages or clients that are not well supported by gRPC, to simply maintaining the aesthetics and tooling involved with a RESTful JSON architecture. ...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 16
    raylib

    raylib

    A simple and easy-to-use library to enjoy videogames programming

    raylib is highly inspired by Borland BGI graphics lib and by XNA framework. Do you want to see all functions available in raylib? Check raylib cheatsheet. raylib is a programming library to enjoy videogames programming; no fancy interface, no visual helpers, no auto-debugging, just coding in the most pure spartan-programmers way. raylib has received several recognitions in the last years and many people have written about the library. Here there are the main awards received from Google and...
    Downloads: 144 This Week
    Last Update:
    See Project
  • 17
    Basic Computer Games

    Basic Computer Games

    An updated version of the classic "Basic Computer Games" book

    Basic Computer Games is a modern revitalization of the classic “Basic Computer Games” book’s collection of games, ported and expanded into various modern, memory-safe and scripting languages. It includes illustrative code examples of many classic games (e.g. Blackjack, Bowling) in multiple languages, with the goal of making the historical games accessible and educational in safe modern environments. Definitely use the most recent versions and features of the target language, but also try to keep the code samples simple and explainable – the goal is to teach programming in the target language, not necessarily demonstrate the cleverest one-line tricks, or big system "enterprise" coding techniques designed for thousands of lines of code.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 18
    Tidal

    Tidal

    Pattern language

    Tidal Cycles (or just Tidal for short) is software for making patterns with code, whether live coding music at algoraves or composing in the studio. It includes a simple and flexible notation for rhythmic sequences and an extensive library of patterning functions for combining and transforming them. This allows you to quickly create complex patterns from simple ingredients. By default, sound is made with the featureful SuperDirt synth/sampler, but you can control other synths using Open...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 19
    30 Seconds of Code

    30 Seconds of Code

    Coding articles to level up your development skills

    30-seconds-of-code is a popular repository offering a vast collection of concise, reusable JavaScript code snippets that can be read and understood in 30 seconds or less. It covers a broad range of everyday programming tasks, from array manipulation to DOM handling. Ideal for learners and professionals alike, it promotes clean coding and fast prototyping by focusing on clarity and brevity.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    PureScript

    PureScript

    A strongly-typed language that compiles to JavaScript

    Compile to readable JavaScript and reuse existing JavaScript code easily. An extensive collection of libraries for development of web applications, web servers, apps and more. Excellent tooling and editor support with instant rebuilds. An active community with many learning resources. Build real-world applications using functional techniques and expressive types, such as: Algebraic data types and pattern matching. Row polymorphism and extensible records. Higher kinded types and type classes...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 21
    Bend

    Bend

    A massively parallel, high-level programming language

    Bend is an interactive programming environment (REPL) built on top of the Kotlin language, designed to allow users to explore, experiment, and learn Kotlin in a live, feedback-driven manner. The tool lets you define variables, functions, or values at the prompt and iteratively refine them—immediately seeing output and types—while preserving state across commands. It emphasizes discoverability and experimentation: users can inspect functions, call them on sample inputs, and evolve logic...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    One Dark Pro

    One Dark Pro

    Atom's iconic One Dark theme for Visual Studio Code

    ...It focuses on readability and aesthetics, using a carefully selected color palette that reduces eye strain while maintaining strong contrast between code elements. The theme supports a wide range of programming languages, ensuring consistent syntax highlighting across different file types. It also integrates seamlessly with VS Code features, enhancing the overall developer experience. The design emphasizes clarity, making it easier to navigate and understand complex codebases. It is widely adopted due to its balance between style and functionality. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 23
    .NET Runtime

    .NET Runtime

    Cross-platform runtime for cloud, mobile, desktop, and IoT apps

    .NET is a free, cross-platform, open source developer platform for building many different types of applications. With .NET, you can use multiple languages, editors, and libraries to build for web, mobile, desktop, games, and IoT. You can write .NET apps in C#, F#, or Visual Basic. C# is a simple, modern, object-oriented, and type-safe programming language. F# is a cross-platform, open-source, functional programming language for .NET. It also includes object-oriented and imperative programming. ...
    Downloads: 21 This Week
    Last Update:
    See Project
  • 24
    sectorlisp

    sectorlisp

    Bootstrapping LISP in a Boot Sector

    ...The codebase is compact and efficient, showcasing techniques for writing minimal yet functional software. It is often used as a learning tool for understanding interpreters, compilers, and language design. By emphasizing minimalism, it provides insight into how programming languages can be built from first principles. Overall, sectorlisp is a powerful demonstration of simplicity and efficiency in language design.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Codon

    Codon

    A high-performance, zero-overhead, extensible Python compiler

    Codon is a high-performance Python compiler that compiles Python code to native machine code without any runtime overhead. Typical speedups over Python are on the order of 100x or more, on a single thread. Codon supports native multithreading which can lead to speedups many times higher still. The Codon framework is fully modular and extensible, allowing for the seamless integration of new modules, compiler optimizations, domain-specific languages and so on. We actively develop Codon...
    Downloads: 7 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB