11 projects for "libhamlib-4" with 2 filters applied:

  • 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.
    Start Free
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 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
    CLIPS Rule Based Programming Language
    CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities.
    Leader badge
    Downloads: 1,030 This Week
    Last Update:
    See Project
  • 3
    newRPL

    newRPL

    The classic RPL programming language reimplemented and reimagined.

    This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future.
    Downloads: 22 This Week
    Last Update:
    See Project
  • 4
    Spindle

    Spindle

    The language used in the AP CSP Exam, now a programming language!

    Spindle is a simple language designed to help AP CSP students ace their AP Exam. Spindle code largely mirrors the code found in the AP CSP Reference Sheet and allows students and teachers to get comfortable with code in the same format it'll have on exam day.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Paessler: Easy to Use With Enterprise Power. Free Trial Icon
    Paessler: Easy to Use With Enterprise Power. Free Trial

    A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

    You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
    Get Free Download
  • 5
    PascalBoost
    Optimising Pascal code : - Setting const to parameters (not events) - Setting appendstr, inc and dec on string and integer auto set - Setting with adding verifying methods and variable inside its begin end - Setting <> '' to > '' The program is not perfect because user can better optimise.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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
  • 7
    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
  • 8
    MPL Bytecode Compiler

    MPL Bytecode Compiler

    Micro Programming Language - A Portable Language for Micro Computers

    NEWS: The MPL language is now completely defined. No more language changes are to be made. The compiler is complete and should be easy to translate to other languages if you so choose. MPL is a small, simple language based on BCPL, B, C and Jesusonic. The compiler and interpreter are written in portable Pascal. I have successfully compiled MPL for CP/M, DOS, Windows, Atari ST, Amiga and the Tandy Colour Computer. MPL is designed to be tiny in every way, while implementing all the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Jolie

    Jolie

    A service-oriented programming language.

    **Note** that releases are outdated on sourceforge. Please refer to our main website: www.jolie-lang.org Jolie is the first full-fledged programming language based upon the service-oriented paradigm, suitable to create new services from scratch or to compose existing ones in powerful orchestrators in order to obtain new functionalities. You can use Jolie for building any kind of distributed applications. Examples are cloud middleware, web portals, and standalone concurrent applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $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
  • 10
    A Practical Agent Programming Language
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    An easy to use template for Object Oriented Programming with Pure C ! Though the name refers to GCC , the main part is compatible with M$'s compiler ! Same as the OCC-GCC at Google Code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next