Search Results for "cross-platform"
Sort By:
14 projects for "cross-platform" with 2 filters applied:
-
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.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
Lean 4
Lean 4 programming language and theorem prover
...The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform. -
2
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... -
3
PLT (Programming Languages Theory)
Programming Language Theory
Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes... -
4
CLIPS Rule Based Programming Language
Expert System Tool
CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities. -
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.
-
5
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... -
6
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. -
7
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... -
8
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. -
9
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.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
SPL Compiler
A low-level system programming language with high-level syntax
.... * Provide a stricter and more platform-independent type system than C. * Allow direct use of existing C and platform (e.g. Win32 API) libraries. This phrase from the "SPL Language Reference" says it all: "One could say SPL is what C should have been, were it not for the limitations of the time when C was designed". -
11
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... -
12
Xtraitj
Pure Trait-based Programming on the Java Platform
Xtraitj is a programming language for pure trait-based programming. It is completely compatible and interoperable with the JAVA platform without reducing the flexibility of traits. Xtraitj is integrated in Eclipse (editor with all the standard tooling) and JDT. It is implemented in Xtext, relying also on Xbase. -
13
Go
Go (Golang): An open-source programming language supported by Google
Go (Golang) is an open-source programming language designed for simplicity, reliability, and efficiency. Created by Google, it is well-suited for building scalable software, from small utilities to large distributed systems. Go features a clean syntax, strong typing, and built-in concurrency support through goroutines, making it ideal for modern multi-core processors. The language comes with a powerful standard library and tools for testing, formatting, and package management, streamlining... -
14
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
- Previous
- You're on page 1
- Next
