Search Results for "languages programs"
Sort By:
45 projects for "languages programs" with 2 filters applied:
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
1
Visual F# Compiler and Tools
Visual Studio IDE for writing F# programs
Visual F# is the Visual Studio Integrated Development Environment (IDE) for writing programs in F#. It comes with a solid set of features including those supported in other .NET Framework languages, and assists developers in packaging and deploying applications. -
2
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... -
3
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. -
4
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... -
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.
-
5
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. -
6
SWIG
A code generator for connecting C/C++ with other programming languages
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is used with different types of target languages including common scripting languages such as Javascript, Perl, PHP, Python, Tcl and Ruby. The list of supported languages also includes non-scripting languages such as C#, D, Go language, Java, Lua, OCaml, Octave, R and Scilab as well as the Guile implementation of the Scheme language. ... -
7
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... -
8
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... -
9
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. -
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.
-
10
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...
-
11
Gobi
A batch package builder for applications
Gobi for shell 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. This is the shell+Gtk version of the Gobisoft software with the same features... -
12
[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... -
13
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. -
14
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... -
15
The Demonstrations Programs for the Wikibook "Ada Programming".
-
16
Ofront+
Oberon family of languages to C translator for ARM, x64 and x86 archit
Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by... -
17
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. -
18
libhdate, hcal and hdate
C library for Hebrew dates / times of day / solar times
libhdate is a C library for Hebrew calendar information, including dates, holidays, and times of day. The package includes: hcal and hdate, command line programs for the Hebrew calendar, dates and times of day information. Also included are library bindings to other programming languages (C++, pascal, python, perl, ruby, php). The api is also of general use for calculating solar times anywhere on Earth for any astronomical date (julian day number). -
19
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. -
20
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. ... -
21
baffle
Baffle Is an extension to Brainfuck language, it adds a stack, more
baffle Is an extension to BF language (https://esolangs.org/wiki/brainfuck), which itself in turn is a extension of Turing machine. baffle extends BF by adding a stack, support for procedures, adding more arithmetic instructions, and a register. baffle can run original BF programs, and while it's not the fastest implementation of BF, but it's written in such a way that makes it easier to replace the instruction set, and to write similar languages. Every cell is a single byte, and the tape wraps. -
22
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. ... -
23
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.... -
24
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. -
25
Chapel
a Productive Parallel Programming Language
Chapel is an emerging parallel programming language whose design and development are being led by HPE in collaboration with academia, computing labs, and industry. Chapel's goal is to improve the productivity of parallel programmers, from laptops to supercomputers. **Please note that Chapel development has moved to GitHub**
