Search Results for "languages programs"
Sort By:
32 projects for "languages programs" with 2 filters applied:
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
1
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... -
2
The Agda standard library
The Agda standard library
...Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean. -
3
Starlark in Go
Starlark in Go: the Starlark configuration language, implemented in Go
starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications. The Go-based interpreter allows developers to run or embed Starlark programs... -
4
Transit Format
A data interchange format
...Transit provides a set of basic elements and a set of extension elements for representing typed values. The extension mechanism is open, allowing programs using Transit to add new elements specific to their needs. Users of data formats without such facilities must rely on either schemas, conventions, or context to convey elements not included in the base set, making application code much more complex. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
Watlings
Learn WebAssembly by writing small programs
Watlings is an educational platform designed to teach WebAssembly concepts through interactive, browser-based exercises that guide users step by step in learning the WebAssembly text format (WAT). Inspired by projects like Rustlings, it provides a collection of small, focused challenges that help users understand how WebAssembly works at a low level, including instructions, memory management, and control flow. Each exercise presents partially completed code that the user must fix or... -
6
OneFile
Curates delightful open-source projects
OneFile curates delightful open-source projects that each consist of a single file, highlighting how much you can learn from compact, self-contained code. The collection spans tiny games, utilities, servers, interpreters, and teaching demos where the entire idea fits in one readable source. This “one file” constraint makes every example approachable—you can open it, grasp the full control flow, and experiment without navigating a large codebase. It’s ideal for learners seeking quick wins or... -
7
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...
-
8
[OFFICIAL] tinyfiledialogs C C++ v3.21.3
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
one C/C++ file & header ==> 8 functions: - beep - tray notify popup - message & question - input & password - save file - open file(s) - select folder - color picker complements OpenGL Vulkan GLFW GLUT GLUI VTK SFML TGUI SDL Ogre Unity3d ION OpenCV CeGui MathGL GLM CPW GLOW Open3D ImGui MyGui GLT NGL STB Nuklear Fenster MicroUi & head-less programs NO INIT NO MAIN LOOP NO LINKING NO INCLUDE win (XP to 11) ASCII MBCS UTF-8 UTF-16 (wchar_t) - native dialogs osx/unix... -
9
Gobisoft
Software auto-installation builder
Gobisoft is a batch package builder for applications, it builds a self-install package of your programs. Creates a stand alone executable file that performs the (secured installation and removing) of the elements necessary to distribute your applications. The software offers many possibilities, such as executing commands before and after installation. -
Build Agents and Models on One PlatformGemini 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.
-
10
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... -
11
The Demonstrations Programs for the Wikibook "Ada Programming".
-
12
Asterius
A Haskell to WebAssembly compiler
...Asterius aims to keep as much of Haskell’s runtime model as practical while delivering the portability and startup characteristics of Wasm. By bridging GHC and WebAssembly, it opens a path to reuse Haskell libraries on the client side without switching languages. -
13
Automatic Drawing Generation
A canvas library for generating technical drawings
...Although it is possible to interact with the library directly in C (that is what the adg-demo program is doing), the canvas is expected to be used from higher level languages, much in the same way as what done in the GNOME stack. Lua bindings based on LGI are already provided out of the box. The adg-lua project, downloadable from the "Files" section, provides Lua programs and demos that leverages these bindings. -
14
WebAssembly from Scratch
WebAssembly from Scratch: From FizzBuzz to DooM
WebAssembly from Scratch is an educational and exploratory project that demonstrates how WebAssembly works from the ground up by progressively building increasingly complex programs starting from simple examples like FizzBuzz and culminating in advanced applications such as running classic games. It is structured as a narrative journey that emphasizes understanding WebAssembly at a low level, rather than relying on high-level tooling or abstractions. The project walks through writing WebAssembly manually using the text format, then compiling from languages like Rust, and eventually integrating larger codebases into WebAssembly environments. ... -
15
Ponder
C++ reflection library with Lua binding, and JSON and XML
...It provides an abstraction for most of the high-level concepts of C++ like classes, enumerations, properties, functions, and objects. By wrapping all these concepts into abstract structures, Ponder provides an extra layer of flexibility to programs and allows them to expose and manipulate their data structures at runtime. Many applications can take advantage of Ponder, in order to automate tasks that would otherwise require a huge amount of work. For example, Ponder can be used to expose and edit objects' attributes in a graphical user interface. It can also be used to do automatic binding of C++ classes to script languages such as Python or Lua. ... -
16
JILRuntime/JewelScript
An object-oriented script language to embed in any application
A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds.... -
17
ArnoldC
Arnold Schwarzenegger based programming language
...For example, “IT’S SHOWTIME” starts the main method, “TALK TO THE HAND” represents output, and “I’LL BE BACK” denotes a return statement. While humorous in nature, the language is fully functional and can be used to write real programs, showcasing how flexible compiler and interpreter design can be. The project is a playful experiment in esoteric programming languages, intended to entertain developers while also serving as an example of how language parsing and compilation can work with unconventional syntax. It demonstrates the overlap between pop culture and software development, turning famous lines into executable logic. -
18
JetBrains MPS
JetBrains Meta programming System
MPS (Meta Programming System) is an advanced language workbench and integrated development environment created by JetBrains that lets developers define, compose, and use domain-specific languages (DSLs) with rich tooling support. Unlike traditional text editors that treat code as plain text, MPS represents programs as structured models, enabling projectional editing where syntax, constraints, and semantics of DSLs are enforced by the editor itself, reducing parsing ambiguities and expanding expressiveness. Users can build custom languages tailored to specific problem domains and immediately get IDE benefits like intelligent completion, navigation, refactoring, type checking, and code generation for those languages. ... -
19
Sql Serializable Java Object Generator
Program used to generate Java objects which serialize to MySQL
...Once objects and their relationships are defined, you can serialize them into java classes which automatically serialize and deserialize to MySQL. This output can be used to speed up development of programs where data is persisted within a database. This program may one day be expanded to cover other languages and databases. -
20
Decision Table Preprocessor
Ccide is a Decision Table preprocessor.
Ccide reads a source program, in one of several programming languages, expands all embedded decision tables, and generates the new, expanded source. Ccidew processes C language programs directly. The script, ccide, uses ccidew and m4, to process BASIC, JAVA, CC, C++, BASH, QB, VB, and EX(euphoria), source files containing embedded decision tables. Ccide checks all conditions once and only once, avoiding side effects. -
21
Programming language Owlet is a rule-based interaction level programming language for building distributed applications. The compiler is implemented using JavaCC that translates Owlet programs to Java programs.
-
22
A Windows/Linux build automation tool to consolidate scripts and custom programs under a single location, intermix any languages (scripted or compiled) to perform tasks, allow common GUI interaction in all languages, and enable remote task execution.
-
23
iGROM helps you with developing programs in languages such as DLV or smodels. Can be used either as stand-alone or as a plugin to Eclipse. You can also extend it to other similar languages by only writing a parser and several support classes.
-
24
Jadex Rules is a general purpose production rule engine, designed to be easily embedded into Java programs. It supports pluggable pattern matchers, state representations and rule languages (Rete-matcher, OAV/Java state and CLIPS-like parser included).
-
25
ViennaProfiler allows to compare execution times of full programs or parts of a program. Execution times are stored in a MySQL database and conveniently analyzed via a web-interface. A C++ client API is provided, other languages can also be used.
