44 projects for "dav-c" with 2 filters applied:

  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1
    Python

    Python

    The Python programming language

    Python is a powerful, high-level programming language known for its readability, simplicity, and versatility. It supports multiple programming paradigms including procedural, object-oriented, and functional styles. CPython, the reference implementation, is developed and maintained by the Python Software Foundation and the global open-source community. The language includes a vast standard library that accelerates development by providing built-in modules for file handling, networking, data...
    Downloads: 29 This Week
    Last Update:
    See Project
  • 2
    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. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to...
    Downloads: 28 This Week
    Last Update:
    See Project
  • 3
    mruby

    mruby

    Lightweight Ruby

    ...The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and execute Ruby code efficiently. One of its core strengths is its embeddability, allowing developers to integrate scripting capabilities directly into applications written in C or C++. mruby also includes a package system called mrbgems, which enables modular extension of functionality through additional libraries. It supports compiling Ruby scripts into bytecode or even C source code, providing flexibility for deployment in different environments.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    AssemblyScript

    AssemblyScript

    A TypeScript-like language for WebAssembly

    ...Its design bridges the gap between high-level scripting and low-level execution, allowing developers to achieve near-native performance without switching to languages like C or Rust. AssemblyScript integrates with the WebAssembly ecosystem, enabling seamless interaction with JavaScript through standard APIs. It is widely used in scenarios where performance and portability are essential, such as gaming, data processing, and edge computing.
    Downloads: 8 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 5
    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: 581 This Week
    Last Update:
    See Project
  • 6
    Agena

    Agena

    Agena is an interpreted procedural programming language.

    Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.
    Leader badge
    Downloads: 143 This Week
    Last Update:
    See Project
  • 7

    Seed7

    Interpreter and compiler for the Seed7 programming language.

    Interpreter, compiler, libraries, documentation and examples for the Seed7 programming language. Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7 spares no effort to support portable programming. ...
    Leader badge
    Downloads: 32 This Week
    Last Update:
    See Project
  • 8
    Ficl - small systems scripting with OO
    Ficl is a lightweight, embeddable scripting language designed to be incorporated into other programs, and especially embedded systems that may have memory and OS constraints. Applications include scripting, hardware bring-up, rapid prototyping, and system extensions. Unlike Lua or Python, Ficl acts as a component of your system - you feed it stuff to do, it does the stuff, and comes back to you for more. You can export compiled code to Ficl, execute Ficl code from your compiled code, or...
    Downloads: 21 This Week
    Last Update:
    See Project
  • 9
    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: 15 This Week
    Last Update:
    See Project
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 10

    aime

    A C-like, high level programming language and interpreter.

    aime is a programming language intended for application extension purposes. It is simple, with a C like syntax and automatic resource management. The interpreter interface has many options for connecting the interpreted programs to the embedding application state. It allows application supervision with regard to such concerns as execution length, memory allocation, error reporting. A standalone interpreter together with many demo/test programs is included.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 11
    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: 2 This Week
    Last Update:
    See Project
  • 12
    Ring

    Ring

    Simple and flexible programming language for applications development

    The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 13

    SC

    SC is a C based meta/programming language/environment

    SC is a C based/compatible language that uses a binary source code format and a "special" editor to provide a far more advanced programming and meta-programming environment. The basic philosophy is to "simplify" the "form" and not the "meaning" of C. SC allows you to write source code that can analyze and modify itself. Which in turn allows you to create far more compact and powerful libraries, templates, toolkits and simply source code, using techniques similar to aspect and/or language oriented programming. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    The Unicon Project

    A modern descendant of the Icon programming language.

    Unicon is a very high level object-oriented network- and graphics-savvy programming language with a syntax similar to Pascal or C. Goal-direction, backtracking, patterns and novel data structures make Unicon ideal for rapidly solving complex problems.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 15
    BMDFM

    BMDFM

    Binary Modular DataFlow Machine (BMDFM)

    Binary Modular DataFlow Machine (BMDFM) is a software package that enables running an application in parallel on shared memory symmetric multiprocessing (SMP) computers using the multiple processors to speed up the execution of single applications. BMDFM automatically identifies and exploits parallelism due to the static and mainly dynamic scheduling of the dataflow instruction sequences derived from the formerly sequential program. The BMDFM dynamic scheduling subsystem performs a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    Xi Programming Language

    A general-purpose, mutliparadigm language.

    Xi is a programming language which attempts to play a similar role to languages such as C, C++, or D. It is initially designed to leverage the procedural and object-oriented paradigms. It aims to provide an expressive language based off of a simple, LL(1) grammar with a comprehensive class library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    ALCHA

    ALCHA

    A New Programming Language for FPGA Projects

    ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    OpenPEARL

    OpenPEARL

    PEARL Compiler and Runtime System

    PEARL is a high level procedural programming language, which was especially designed for the demanding need to have an expressive and comfortable language for solving multitasking problems when controlling technincal processes. PEARL is an abbreviation for "(P)rocess and (E)xperiment (A)utomation (R)ealtime (L)anguage". It was designed around 1975 at the IRT Institute of the Leibniz University in Hannover with the idea in mind to have an easy to learn programming language for realtime...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    SNOBOL4, while known primarily as a string language excels at any task involving symbolic manipulations. It provides run time typing, garbage collection, user data types, on the fly compilation.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 20
    XL (eXtensible Language) is a general purpose compiled programming language. XL doesn't force you to use a limited set of concepts (such as "objects"). Instead, it can be extended (through libraries) to use the concepts that are natural to your a
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    SWLPC is both a stand alone scripting (interpreted) language and MUD programming language derived from LPC.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    X11-Basic

    X11-Basic

    A BASIC interpreter and compiler with graphics.

    X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers.
    Leader badge
    Downloads: 38 This Week
    Last Update:
    See Project
  • 23
    Squirrel is a light weight programming language featuring higher-order functions,classes/inheritance,delegation,tail recursion,generators,cooperative threads,exception handling, reference counting and garbage collection on demand. C-like syntax.
    Leader badge
    Downloads: 24 This Week
    Last Update:
    See Project
  • 24
    Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    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, world!"]} 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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB