Search Results for "ghost 4 linux"
Sort By:
Showing 20 open source projects for "ghost 4 linux"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
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
Pyro
Deep universal probabilistic programming with Python and PyTorch
Pyro is a flexible, universal probabilistic programming language (PPL) built on PyTorch. It allows for expressive deep probabilistic modeling, combining the best of modern deep learning and Bayesian modeling. Pyro is centered on four main principles: Universal, Scalable, Minimal and Flexible. Pyro is universal in that it can represent any computable probability distribution. It scales easily to large datasets with minimal overhead, and has a small yet powerful core of composable... -
3
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. -
4
Programming Language ADP
ADP is a script language designed for Web database prgramming.
ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
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. -
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
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.
-
8
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. -
9
Dyalect
Dyalect is a programming language for .NET Core
Dyalect is a dynamic programming language for .NET Core platform. It is lightweight, fast and modern. Dyalect (or Dy for short) is written in C# and has zero dependencies except for standard .NET Core libraries, which means that it can seamlessly run on Windows, MacOS and Linux. Moreover you can use the same binaries on any of these platforms! Dy runs on the top of its own high performance virtual machine. It compiles fast and can be used as an embeddable language or as a scripting language... -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
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,... -
11
KAREL 3D WebGL
Children's learning programming language Karel the Robot in 3D
KAREL 3D written in JavaScript with WebGL is a children's programming language for teaching algorithms. This is later variant from Karel the Robot in 3D, created in 1986 for 8bit microcomputer PMD 85-2. Support full recursion, create new commands, complex commands with condition from dialog and direct control with keys, language translation. Objects: brick, wall, mark, fence. Check out the Wiki (here) for more examples and pictures. Include ZIP with original historical... -
12
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... -
13
KAREL 3D
Learning programming language for kids
This is learning programming language for children Karel-3D. By words from LightBot: "Get kids hooked on coding with minutes!" Created by Karel 3D from the 8-bit microcomputer PMD 85-2 in 1986. His later version of Karel the Robot in 3D, created first in the Slovak Republic. JavaScript variant include only one small HTML file tested and works on all devices with keyboard and full JavaScript support in internet browser, or alternative pre-compiled JAVA V8 .jar file with webEngine and... -
14
ardublockEdu
ArduBlock is a Block Programming Language for Arduino.
ArduBlock is a Block Programming Language for Arduino. The language and functions model closely to Arduino Language Reference. This version of ArduBlock is tweaked to more closely resemble the Arduino language, and is meant to teach kids programming basics before transitioning to C or C++. -
15
Cengaver
Cengaver programming language
Cengaver is a new programming language based on Turkish speaking language. -
16
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. -
17
Qore Programming Language
Multithreaded scripting language
Qore is a scripting language supporting threading and embedded logic, designed for applying a flexible scripting-based approach to enterprise interface development but is also useful as a general purpose language. No more development or releases happen on sourceforge; development has moved to https://github.com/qorelanguage/qore -
18
-
19
Ela is a modern functional programming language that runs on CLR and Mono. It is implemented in 100% .NET and C#. Main project hosting is CodePlex: https://ela.codeplex.com/
-
20
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.
- Previous
- You're on page 1
- Next
