Showing 59 open source projects for "software design tools"

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
  • 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
  • 1
    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: 2 This Week
    Last Update:
    See Project
  • 2
    Racket

    Racket

    The Racket repository

    Racket is a general-purpose programming language and an ecosystem for language-oriented programming. This repository holds the source code for the core of Racket plus some related packages. The rest of the Racket distribution source code is in other repositories, mostly under the Racket GitHub organization. Racket programmers typically program with functions, records, objects, exceptions, regular expressions, modules, and threads. That is, instead of a “minimalist” language, which is the way...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    Triton

    Triton

    Development repository for the Triton language and compiler

    Triton is a programming language and compiler framework specifically designed for writing highly efficient custom deep learning operations, particularly for GPUs. It aims to bridge the gap between low-level GPU programming, such as CUDA, and higher-level abstractions by providing a more productive and flexible environment for developers. Triton enables users to write optimized kernels for machine learning workloads while maintaining readability and control over performance-critical aspects...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    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: 1 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 5
    Quine Relay

    Quine Relay

    An uroboros program with 100+ programming languages

    quine-relay is an esoteric programming project that produces a single program which, when run, outputs the same program in another programming language; and that next-language version, when run, outputs itself in yet another language—and so on—cycling through many languages until returning to the original. It is effectively a “relay” of quines across dozens (or hundreds) of languages. The repository contains implementations, translation scaffolding, and carefully crafted code for each...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Chez Scheme

    Chez Scheme

    A programming language and an implementation of that language

    Chez Scheme is both a programming language and an implementation of that language, with supporting tools and documentation. As a superset of the language described in the Revised6 Report on the Algorithmic Language Scheme (R6RS), Chez Scheme supports all standard features of Scheme, including first-class procedures, proper treatment of tail calls, continuations, user-defined records, libraries, exceptions, and hygienic macro expansion. The Chez Scheme implementation consists of a compiler,...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 7
    Ring Programming Language

    Ring Programming Language

    Simple and flexible programming language for applications development

    Simple and flexible programming language for applications development. Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are Imperative, Procedural, Object-Oriented, Functional, Metaprogramming, Declarative programming using nested structures, and Natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, etc.) and can be used to create Console, GUI, Web, Games, and Mobile applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Wuffs

    Wuffs

    Wrangling Untrusted File Formats Safely

    Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    TypeSpec

    TypeSpec

    Language for defining cloud service APIs and shapes

    TypeSpec is a language for defining cloud service APIs and shapes. TypeSpec is a highly extensible language with primitives that can describe API shapes common among REST, OpenAPI, gRPC, and other protocols. TypeSpec is excellent for generating many different API description formats, client and service codes, documentation, and many other assets. All this while keeping your TypeSpec definition as a single source of truth. Using TypeSpec, you can create reusable patterns for all aspects of an...
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 10
    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: 0 This Week
    Last Update:
    See Project
  • 11
    CobaltLanguage
    ...The project is distributed as a ZIP package containing the language runtime and IDE. It is intended for beginners, students, and developers interested in experimenting with programming language development and software engineering concepts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ELENA Programming Language

    ELENA Programming Language

    an object-oriented language with late binding

    ELENA is a general-purpose, pure object-oriented language with late binding. It promotes more object-oriented program design, reusable and more standardized code. The package includes compiler, IDE, ELENA libraries and samples
    Leader badge
    Downloads: 16 This Week
    Last Update:
    See Project
  • 13
    OnixOS

    OnixOS

    OnixOS Arch is a Linux-based and open source distribution.

    OnixOS Arch is a Linux-based and open source distribution. It comes with its own system-based functional programming language (O Language). It offers some customized tools for developers.
    Downloads: 35 This Week
    Last Update:
    See Project
  • 14
    pFFh

    pFFh

    a self-contained development environment for embedded systems.

    pFFh is a programming language that allows you to launch applications on embedded systems safely, quickly and comfortably. pFFh runs on the target system, combining operation as a command interpreter and code compiler. We can say that pFFh behaves like an operating system on the board under development. All pFFh needs is a serial or USB-serial channel to communicate, and through it, receive and process console commands, either from a keyboard or from files sent from a desktop computer. At...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    EDITEL

    EDITEL is a screen editor/code generator for GnuCOBOL programmers

    One of the hardest things to do when coding with COBOL is translating a screen design into code. The process may take hours, not to say days. In my old BLIS-COBOL, COBOL 74 and COBOL 80 /85 days (and those last 2 had the SCREEN SECTION which helped a lot !), I recall spending a significant amount of time dedicated to that activity. Time that could be used for more productive activities like coding and resolving bugs, for instance.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Enterprise

    Enterprise

    The Enterprise™ programming language

    ...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
  • 17
    Inform

    Inform

    The core software distribution for the Inform 7 programming language

    Inform is the core distribution of a powerful programming language and design system created for writing interactive fiction, where authors describe stories as text adventure games that players explore through typed commands. The language is distinctive for its natural-language-inspired syntax that reads almost like English, allowing storytellers to define rooms, objects, characters, and narrative logic in an intuitive way that emphasizes expressive clarity and literary structure. When you...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    MarkovJunior

    MarkovJunior

    Probabilistic language based on pattern matching

    ...The system is highly flexible, supporting both deterministic and probabilistic rule application to generate diverse results. It is particularly popular in game development and generative art, where procedural content can enhance variability and creativity. The project provides tools for defining rules, visualizing outputs, and experimenting with different configurations. Its design emphasizes simplicity while still enabling complex emergent behavior. Overall, MarkovJunior is a powerful framework for procedural generation using rule-based approaches.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19
    CoffeeScript

    CoffeeScript

    Unfancy JavaScript

    CoffeeScript is a lightweight programming language that compiles into JavaScript. It adds syntactic sugar inspired by Ruby, Python, and Haskell to improve brevity and readability, while producing predictable and efficient JavaScript output. Its design emphasizes that “It’s just JavaScript,” meaning any JS library works seamlessly, and compiled output is clean and performant. Adds syntactic sugar like list comprehensions and destructuring assignment. Supports literate programming via...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    CSharpLang

    CSharpLang

    The official repo for the design of the C# programming language

    This is the official repository for the design and evolution of the C# programming language. It's where language features are proposed, discussed, designed, and specified. It contains feature proposals, notes from language design meetings, and the evolving specification. Language Design Meetings (LDMs) are held by the LDT and occasional invited guests, and are documented in Design Meeting Notes in the meetings folder, organized in folders by year. The lifetime of a design meeting note is...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    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
  • 23
    RaptorJIT

    RaptorJIT

    A dynamic language for system programming (LuaJIT fork)

    RaptorJIT is a Lua implementation suitable for high-performance low-level system programming. If you want to use a simple dynamic language to write a network stack; a hypervisor; a unikernel; a database; etc, then you have come to the right place.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 24
    ChaiScript

    ChaiScript

    Embedded Scripting Language Designed for C++

    An easy to use embedded scripting language for C++. ChaiScript is one of the only embedded scripting language designed from the ground up to directly target C++ and take advantage of modern C++ development techniques, working with the developer how they would expect it to work. Being a native C++ application, it has some advantages over existing embedded scripting languages. There are no external tools required, no preprocessor, no libraries, just your C++14 compliant compiler. ChaiScript is...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    CoffeeLint

    CoffeeLint

    Lint your CoffeeScript

    coffeelint is a linter for CoffeeScript code, analyzing style, syntax, potential errors, and code consistency issues. It scans CoffeeScript files for patterns such as missing semicolons, inconsistent indentation, unused variables, suspicious constructs, and bad practices, and reports warnings or errors. The tool is configurable via a ruleset file so projects can tailor which rules to enforce and which to allow or warn only. Because CoffeeScript’s syntax can mask subtle errors or ambiguity, a...
    Downloads: 0 This Week
    Last Update:
    See Project