Showing 1210 open source projects for "lightweight programming language"

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
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Let your crypto work for you

    Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 1
    gpt-engineer

    gpt-engineer

    Full stack AI software engineer

    gpt-engineer is an open-source platform designed to help developers automate the software development process using natural language. The platform allows users to specify software requirements in plain language, and the AI generates and executes the corresponding code. It can also handle improvements and iterative development, giving users more control over the software they’re building. Built with a terminal-based interface, gpt-engineer is customizable, enabling developers to experiment with AI-assisted programming and refine their development process. ...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2
    The Agda standard library

    The Agda standard library

    The Agda standard library

    ...While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    Wasmer

    Wasmer

    The leading WebAssembly Runtime supporting WASIX, WASI and Emscripten

    ...Serve sandboxed WebAssembly apps anywhere through a single runtime and do in days what others do in months. Using a binary for each platform and chip is the past. Rise above with lightweight containerized apps that simply run everywhere. Supports almost every programming language. Truly universal, runs everywhere & fast as native. Packages are limited by their languages no more. Collaborate across stacks, leverage the ecosystem, and contribute your own packages. Get the scalability of serverless and the reusability of the cloud. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    mo - Monads

    mo - Monads

    Monads and popular FP abstractions, powered by Go 1.18+ Generics

    ...The design draws inspiration from languages like Scala, Rust, and TypeScript FP libraries, making it familiar to developers with functional backgrounds. Overall, samber/mo enables a more declarative and expressive programming style in Go while remaining lightweight and dependency-free.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    DBOS Transact PY

    DBOS Transact PY

    Lightweight Durable Python Workflows

    dbos-transact-py is the Python counterpart to dbos-transact-ts, offering durable transactional programming with automatic state persistence in PostgreSQL. It simplifies building resilient and idempotent applications by enabling Python functions to retain their state, restart after failure, and guarantee consistency. It's designed for data-heavy and fault-intolerant use cases.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 6
    mise

    mise

    Dev tools, env vars, task runner

    Mise (formerly RTX) is a cross-language CLI tool and task runner that manages developer tools, environment variables, and project tasks in a unified configuration (mise.toml). It handles tool installation (e.g., Node, Python, Terraform), env var profiles, and repeatable command scripting.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 7
    Capstone

    Capstone

    Capstone disassembly/disassembler framework

    ...Support multiple hardware architectures: ARM, ARM64 (ARMv8), Ethereum VM, M68K, Mips, MOS65XX, PPC, Sparc, SystemZ, TMS320C64X, M680X, XCore and X86 (including X86_64). Having clean/simple/lightweight/intuitive architecture-neutral API. Provide details on disassembled instruction (called “decomposer” by others). Provide semantics of the disassembled instruction, such as list of implicit registers read & written. Implemented in pure C language, with lightweight bindings for D, Clojure, F#, Common Lisp, Visual Basic, PHP, PowerShell, Emacs, Haskell, Perl, Python, Ruby, C#, NodeJS, Java, GO, C++, OCaml, Lua, Rust, Delphi, Free Pascal & Vala (ready either in main code, or provided externally by the community).
    Downloads: 17 This Week
    Last Update:
    See Project
  • 8
    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: 9 This Week
    Last Update:
    See Project
  • 9
    YAO

    YAO

    Yao A low code engine to create web services and dashboard

    ...Yao is a low-code engine that creates a database model, writes API services, and describes dashboard interface just by JSON for web & hardware, no code, and 10x productivity. Yao is based on the flow-based programming idea, developed in the Go language, and supports multiple ways to expand the data stream processor. This makes Yao extremely versatile, which can replace programming languages ​​in most scenarios, and is 10 times more efficient than traditional programming languages ​​in terms of reusability and coding efficiency; application performance and resource ratio Better than PHP, JAVA and other languages. ...
    Downloads: 1 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
    LangChainGo

    LangChainGo

    LangChain for Go, the easiest way to write LLM-based programs in Go

    LangChainGo is a Go-based implementation of the LangChain framework, designed to help developers build applications powered by large language models using the Go programming language. It provides a modular architecture that allows developers to combine components such as language models, chains, agents, memory systems, and vector stores into flexible workflows. The framework emphasizes composability, making it easy to create complex pipelines that integrate LLMs with external data sources, APIs, and tools. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11
    webR

    webR

    The statistical language R compiled to WebAssembly via Emscripten

    webR is a project that compiles the R statistical programming language into WebAssembly, enabling it to run entirely within web browsers or JavaScript environments without requiring a server-side installation. By using Emscripten to adapt R’s C, C++, and Fortran codebase, webR creates a fully functional runtime that can execute R scripts directly in the browser. The project includes a web-based integrated development environment that uses tools like xterm.js and CodeMirror, allowing users to interact with R through a familiar console and editor interface. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    CP Editor

    CP Editor

    The IDE for competitive programming

    CP Editor is designed for competitive programming. It helps you focus on your algorithms and automates the compilation, execution and testing of your code. It can fetch test cases from different platforms and submit solutions to Codeforces. It automates all that's reasonably possible and allows you to purely focus on your code. Say no to manual efforts of running and testing your code against expected outputs. It can fetch test cases automatically from almost all competitive programming...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 13
    Fury

    Fury

    A blazing fast multi-language serialization framework

    Fury is a blazing-fast multi-language serialization framework powered by jit(just-in-time compilation) and zero-copy, providing up to 170x performance and ultimate ease of use. Based on efficient JIT, struct deserialization can get 170x speed up compared to other serialization frameworks. In serialization scenarios, Fury can achieve a 100x speed up compared to traditional serialization frameworks. If you use Java clusters on a large scale, this will save a lot of computing resources.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 14
    pybind11

    pybind11

    Seamless operability between C++11 and Python

    Pybind11 is a lightweight, header‑only C++ library that simplifies and streamlines creating Python bindings for C++11+ code. It uses template meta-programming to automatically infer types, minimizing boilerplate compared to Boost.Python, and works seamlessly with major build systems
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    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 data-intensive applications. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    AWS SDK for Go v2

    AWS SDK for Go v2

    AWS SDK for the Go programming language

    Welcome to the AWS SDK for Go. The AWS SDK for Go V2 provides APIs and utilities that developers can use to build Go applications that use AWS services, such as Amazon Elastic Compute Cloud (Amazon EC2) and Amazon Simple Storage Service (Amazon S3). The SDK removes the complexity of coding directly against a web service interface. It hides a lot of the lower-level plumbing, such as authentication, request retries, and error handling. The SDK also includes helpful utilities. For example, the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    mcp-cli

    mcp-cli

    Lighweight CLI to interact with MCP servers

    mcp-cli is a lightweight, Bun-based command-line interface (CLI) tool that simplifies how developers discover, inspect, and interact with Model Context Protocol (MCP) servers from the terminal. The Model Context Protocol is an emerging open standard for connecting language models and external tools, and mcp-cli helps mitigate common pain points like context window bloat by dynamically discovering MCP servers and reducing token load during interactions.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 18
    Sourcery

    Sourcery

    Meta-programming for Swift, stop writing boilerplate code

    Sourcery is a code generator for Swift language, built on top of Apple's own SwiftSyntax. It extends the language abstractions to allow you to generate boilerplate code automatically. It's used in over 40,000 projects on both iOS and macOS and it powers some of the most popular and critically-acclaimed apps you have used (including Airbnb, Bumble, New York Times). Its massive community adoption was one of the factors that pushed Apple to implement derived Equality and automatic Codable...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 19
    core.async

    core.async

    Facilities for async programming and communication in Clojure

    core.async is a Clojure library that brings asynchronous programming and communication to both Clojure and ClojureScript, enabling developers to write concurrent code using channels, go blocks, and CSP-style constructs rather than callbacks or threads. This project follows the version scheme MAJOR.MINOR.COMMITS where MAJOR and MINOR provide some relative indication of the size of the change, but do not follow semantic versioning. In general, all changes endeavor to be non-breaking (by moving...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Zeebe

    Zeebe

    Distributed Workflow Engine for Microservices Orchestration

    Automate processes at scale with unprecedented performance and resilience. Zeebe is the workflow and decision engine that powers Camunda Platform 8. Zeebe’s cloud-native design provides the performance, resilience, and security enterprises need to future-proof their process orchestration efforts. Zeebe distributes data across all brokers in a cluster with storage directly on the server filesystem. If one broker goes down, another can replace it with no data loss. This pre-configured...
    Downloads: 27 This Week
    Last Update:
    See Project
  • 21
    PyQuil

    PyQuil

    A Python library for quantum programming using Quil

    PyQuil is a Python library for quantum programming using Quil, the quantum instruction language developed at Rigetti Computing. PyQuil serves three main functions. PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 22
    Clash

    Clash

    Haskell to VHDL/Verilog/SystemVerilog compiler

    Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. It provides a familiar structural design approach to both combinational and synchronous sequential circuits. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog. Clash is an open-source project, licensed under the permissive BSD2 license, and actively maintained by QBayLogic. ...
    Downloads: 9 This Week
    Last Update:
    See Project
  • 23
    Radare2

    Radare2

    UNIX-like reverse engineering framework and command-line toolset

    A free/libre toolchain for easing several low-level tasks like forensics, software reverse engineering, exploiting, and debugging. It is composed by a bunch of libraries (which are extended with plugins) and programs that can be automated with almost any programming language. It is recommended to install it from git, alternatively, you can pick the last release (every 6 weeks) from Github. Batch, Commandline, visual, and panels interactive modes. Embedded webserver with js scripting and WebUI. Assemble and disassemble a large list of CPUs. Runs on Windows and any other UNIX flavor out there. ...
    Downloads: 37 This Week
    Last Update:
    See Project
  • 24
    SpaceX prepare for Clean Architecture

    SpaceX prepare for Clean Architecture

    Clean Architecture Modular Project: MVVM + Jetpack Compose

    The purpose of this project is to consolidate some of the learned insights throughout the years about the Clean Architecture principles and reflect those lessons on Android, taking advantage of the Kotlin programming language features too. This project summarises some of the general use cases and demands on a typical production project using: Jetpack Compose, Functional Programming, MVVM, Kotlin Coroutines, and Kotlin Flows (check the branches section for more information).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Nushell

    Nushell

    A new type of shell

    NuShell (often shortened to “Nu”) is a modern, cross-platform shell written in Rust that treats all data as structured tables rather than plain text. It supports pipelines on rich typed data, has built-in commands for JSON/CSV/SQL/excel, and offers scripting, autocompletion, scoped variables, and strong error handling—bridging the gap between shell scripting and programming.
    Downloads: 23 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB