Showing 724 open source projects for "programming languages"

View related business solutions
  • Skillfully - The future of skills based hiring Icon
    Skillfully - The future of skills based hiring

    Realistic Workplace Simulations that Show Applicant Skills in Action

    Skillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
    Learn More
  • Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight Icon
    Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight

    Lock Down Any Resource, Anywhere, Anytime

    CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
    Learn More
  • 1
    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
  • 2
    Solidity

    Solidity

    The Smart Contract Programming Language

    Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 3
    Mint

    Mint

    A refreshing programming language for the front-end web

    Mint has all the tools you need to write error-free, easily readable, and maintainable applications in record time. In Mint you can style elements directly with CSS using style blocks. Inside a style block, you can nest as many sub selectors and media queries as you like. Interpolate any Mint expressions in any value using the interpolation syntax. You can even use if and case expressions inside any block to apply styles conditionally. In Mint a store contains and manages some data. Stores...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Gleam

    Gleam

    A friendly language for building type-safe, scalable systems!

    Gleam's powerful static type system helps find and prevent bugs at compile time, long before it reaches your users. It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. Hunting down bugs can be stressful so...
    Downloads: 5 This Week
    Last Update:
    See Project
  • Collect! is a highly configurable debt collection software Icon
    Collect! is a highly configurable debt collection software

    Everything that matters to debt collection, all in one solution.

    The flexible & scalable debt collection software built to automate your workflow. From startup to enterprise, we have the solution for you.
    Learn More
  • 5
    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: 68 This Week
    Last Update:
    See Project
  • 6
    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: 27 This Week
    Last Update:
    See Project
  • 7
    Prompt Declaration Language

    Prompt Declaration Language

    Prompt Declaration Language is a declarative prompt programming lang

    LLMs will continue to change the way we build software systems. They are not only useful as coding assistants, providing snipets of code, explanations, and code transformations, but they can also help replace components that could only previously be achieved with rule-based systems. Whether LLMs are used as coding assistants or software components, reliability remains an important concern. LLMs have a textual interface and the structure of useful prompts is not captured formally. Programming...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    SpinalHDL

    SpinalHDL

    Scala based HDL

    SpinalHDL is a hardware description (HDL) framework embedded in Scala, enabling hardware designers to build digital circuits with modern programming abstractions. Instead of writing in Verilog or VHDL directly, users describe hardware components and their interconnects using Scala code and Spinal’s domain-specific library, which then emits synthesizable hardware (e.g. as Verilog). Because SpinalHDL is embedded in Scala, it allows reuse of functional abstractions, parameterization, modular...
    Downloads: 0 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: 37 This Week
    Last Update:
    See Project
  • Iris Powered By Generali - Iris puts your customer in control of their identity. Icon
    Iris Powered By Generali - Iris puts your customer in control of their identity.

    Increase customer and employee retention by offering Onwatch identity protection today.

    Iris Identity Protection API sends identity monitoring and alerts data into your existing digital environment – an ideal solution for businesses that are looking to offer their customers identity protection services without having to build a new product or app from scratch.
    Learn More
  • 10
    AWS Cloud Development Kit (AWS CDK)

    AWS Cloud Development Kit (AWS CDK)

    A framework for defining cloud infrastructure in code

    The AWS Cloud Development Kit (AWS CDK) is an open source software development framework to define your cloud application resources using familiar programming languages. Provisioning cloud applications can be a challenging process that requires you to perform manual actions, write custom scripts, maintain templates, or learn domain-specific languages. AWS CDK uses the familiarity and expressive power of programming languages for modeling your applications. It provides you with high-level components called constructs that preconfigure cloud resources with proven defaults, so you can build cloud applications without needing to be an expert. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11
    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: 3 This Week
    Last Update:
    See Project
  • 12
    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: 10 This Week
    Last Update:
    See Project
  • 13
    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: 22 This Week
    Last Update:
    See Project
  • 14
    Crystal

    Crystal

    The crystal programming language

    Crystal’s syntax is heavily inspired by Ruby’s, so it feels natural to read and easy to write, and has the added benefit of a lower learning curve for experienced Ruby devs. Crystal is statically type checked, so any type errors will be caught early by the compiler rather than fail on runtime. Moreover, and to keep the language clean, Crystal has built-in type inference, so most type annotations are unneeded. All types are non-nilable in Crystal, and nilable variables are represented as a...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 15
    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: 21 This Week
    Last Update:
    See Project
  • 16
    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: 0 This Week
    Last Update:
    See Project
  • 17
    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: 149 This Week
    Last Update:
    See Project
  • 18
    Acode

    Acode

    A powerful text/code editor for Android

    Welcome to Acode Editor, a powerful and versatile code editing tool designed specifically for Android devices. Whether you're working on HTML, CSS, JavaScript, or other programming languages, Acode empowers you to code on-the-go with confidence. Step into the future of coding with our innovative plugin system. This all-new feature is compatible with a wide range of plugins, increasing Acode's functionality to meet all your development needs. With over 30 plugins already available in the plugin store, the possibilities are endless. ...
    Downloads: 68 This Week
    Last Update:
    See Project
  • 19
    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
  • 20
    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
  • 21
    Grain

    Grain

    The Grain compiler toolchain and CLI, home of the modern web staple

    ...No runtime type errors, ever. Every bit of Grain you write is thoroughly sifted for type errors, with no need for type annotations. Grain has its roots in functional programming, but is flexible enough to accommodate different programming styles for various applications. Grain aims to modernize innovative features from functional and academic programming languages and bring them to the masses. Many languages have had wonderful ideas, but they have ultimately been dismissed as esoteric or too difficult to learn and, consequently, have struggled to rally a large community around them. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    .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: 25 This Week
    Last Update:
    See Project
  • 23
    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
  • 24
    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: 1 This Week
    Last Update:
    See Project
  • 25
    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
MongoDB Logo MongoDB