Showing 10 open source projects for "libhamlib-4"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • Paessler - Monitor Your Whole Network in Minutes Icon
    Paessler - Monitor Your Whole Network in Minutes

    Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

    Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
    Start Free 30-Day Trial
  • 1
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

    Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment.
    Downloads: 75 This Week
    Last Update:
    See Project
  • 2
    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: 8 This Week
    Last Update:
    See Project
  • 3
    Lumen

    Lumen

    Custom stack-based scripting language, compiler, and bytecode VM.

    Lumen is a lightweight, stack-based scripting language built from scratch in C++20, complete with its own compiler, custom bytecode format, and virtual machine. It's designed to be simple enough to pick up quickly while still exposing the real mechanics behind how programming languages work making it as much a learning tool as a usable scripting language. It's also available on Android. Install on Arch Linux: yay -S lumen-lang-git Online...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 4
    AL-IV

    AL-IV

    ALFOUR Programming language. Simple, safe, power, multi-platform.

    A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Start Free
  • 5
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    ...Explicitly stated design priorities of MANOOL: 1. implementation simplicity; 2. expressive power, usability, and general utility, attention to syntax and semantics details; 3. correctness, security, and overall quality of implementation, run-time reliability; 4. run-time performance and scalability; 5. consistency, completeness, orthogonality of features, and language elegance, conceptual economy and purity. MANOOL strives to satisfy all of the above goals, better than existing alternatives!
    Leader badge
    Downloads: 9 This Week
    Last Update:
    See Project
  • 6
    Very high level modular programming language with multiple dispatch, object-oriented programming, functional closures and goal-directed programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Gura Programming Language
    Gura is a programming language that features "implicit mapping" and "member mapping", which can handle multiple data in lists and iterators at any one time.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    BOLT Programming

    BOLT Programming

    The programming language for begginers.

    This is a programming language dedicated toward teaching beginning programmers proper concepts and helping them adjust to more complex languages such as C++ or Java. BOLT uses a syntax similar you BASIC to help the programs written in BOLT to be more user friendly.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    runpl

    Run Programming Language

    a new concept for programing: new syntax and a new way of coding source files. not bytecode or any typical implementation for vm. in fact, it encodes functions and keywords for a smaller code, which is good for small devices and embebbed devices. small code, small size, RUN faster.
    Downloads: 0 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.
    Start Free
  • 10
    Mpp Project

    Mpp Project

    MPP is a C-based programming language that allows you to code more eas

    MPP is a C-based programming language that allows you to code more easily . #IDE : WMPP new features - a minimap has been added in order to improve navigation though the source code. - Code autocomplete - Status information - sidebar menu -Simple & Fast -Syntax highlighting -Compiling -Tabs [+] Supported languages : MPP, PHP, SQL, VB, HTML
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next