Showing 359 open source projects for "lightweight programming language"

View related business solutions
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 1
    MyL is a hyper productive programming language oriented to concepts, created to simplify and accelerate the development of commercial applications for web and desktop, using a "Straight to the point" syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Ownership and Immutability Generic Java (OIGJ) is a programming language based on Java with generic types. OIGJ supports deep ownership, confinement, object- and reference-immutability.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Pava is an implementation of Relation Oriented Programming Language
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Kammerjäger

    Kammerjäger is a debugging tool with integrated correctness proving.

    Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 5

    InPUT

    IoC container for the configuration and design for experimental design

    InPUT offers a descriptive and programming language independent format and IoC (Inversion of Control) container for the configuration and design of computer experiments. Code and more info can be found on github: http://github.com/feldob/InPUT
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Dove is an integrated development environment for D programming language based on Eclipse(plgin for eclipse).It provides IDE features such as code completion, outline view, preference, debugger.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Compiler and virtual machine of a new programming language similar to pascal with learning proposals for computer science engineering students.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    This project is java version of the SQL functions as defined by the Transact-SQL programming language for the MS SQL 2000. It is pure 100% Java implementation for the famous SQL Functions such as CONVERT, PATINDEX or DATEDIFF.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    PAGEB is an easy to use tool to create videogames. With PAGEB is not necessary to known any programming language, nor to master complex game development techniques, to create high quality games. All you need is a good game idea and time to develope it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
MongoDB Logo MongoDB