Search Results for "ibhamlib-4.dll"
Sort By:
Showing 37 open source projects for "ibhamlib-4.dll"
View related business solutions-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
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. -
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 abstractions that make it both agile and maintainable. Lastly, Pyro gives you the flexibility of automation when you want it, and control when you need it. -
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
kink-lang
An object-based programming language
Kink is an object-based programming language, adopting object system without inheritance, and delimited continuation as a building block of control structures. Kink is also an implementation of Kink language runtime, which runs on JVM. • Documentation: https://doc.kink-lang.org/ • Continuous Integration: https://ci.kink-lang.org/ • Maven Central: https://mvnrepository.com/artifact/org.kink-lang/kink -
Full-stack observability with actually useful AI | 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.
-
5
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. -
6
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. -
7
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. -
8
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.
-
9
OnixOS
OnixOS Arch is a Linux-based and open source distribution.
OnixOS Arch is a Linux-based and open source distribution. It comes with its own system-based functional programming language (O Language). It offers some customized tools for developers. -
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
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. -
11
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... -
12
MANOOL
Programming language with expressive power and a simple implementation
...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. MANOOL strives to satisfy all of the above goals, better than existing alternatives! -
13
Kookaburra
Cross-Platform, Object-Oriented Programming language. With Kookaburra
Kookaburra is a simple programming language. With Kookaburra you can choose between the powerful CLI (Command Line Interface), or start coding with its' intuitive syntax. The syntax is simple and efficient. Create apps/games and more that are fine-tuned to perfection. Kookaburra is completely free to use, using only local files and no data/telemetry collection. Our aim is to power creativity and inspire young developers. That's why we care about privacy and safety. We love hearing feedback... -
14
LoLCode1337 (speak lolcode leet) is an implementation of the esoteric programming language lolcode. It offers a compiler, virtual machine (=interpreter), debugger, internal editor and it's commands set is close to that what other lolcode implementations offer. More to come soon.
-
15
KonsolScript and Game Engine
Free and Open Game Programming Language for Windows and GNU/Linux
KonsolScript is a free and open source, scripting language primarily intended for 2D games development. KonsolScript Development Team believes that the unavailability of games on GNU/Linux desktops is one of the major concerns why people keep using unauthorized copies of proprietary OS over GNU/Linux and that is something the Development Team is ought to address – we are doing our part to help promote GNU/Linux as a viable gaming platform for desktops both for Game Publishers and... -
16
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... -
17
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... -
18
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... -
19
KAREL 3D C++ ( Karel the Robot in 3D )
Karel - 3D language interpreter
version 5 in C++ WinAPI, for compiler MinGWx64 is manually rewrited from JavaScript no GL version in Notepad++ ( https://sourceforge.net/projects/karel-3d/ ). ZIP include source code and just one EXE file without install to direct Run KAREL-3D ( tested on Win10 x64 and Win7 x64 without MinGW compiller [ not need .dll ] ) Objects: brick, wall, mark, bridge. In Karel, currently can not be use Load or Save ( use Ctrl+C, Ctrl+V between the editor and Notepad ) Tip for Karel: Type command: FAST before commands for demonstrating maximum performance. First KAREL-3D is created in 1986 after Karel the Robot, in Slovakia ( before Czechoslovakia ) on 8 bit microcomputer PMD 85-2 for school kids to learn algorithm and what is programming, teach know how to solve a logical problem, like Spock and his children from the planet Vulcan ( live long and prosper ). ... -
20
ValaWindowsInstaller
Vala programming language distribution for Windows
Windows all-in-one distribution of the Vala programming language to build console and GTK+ GUI programs. Includes Vala command-line compiler, MinGW C compiler toolchain and GTK+ version 2 and 3 runtimes. -
21
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++. -
22
Cengaver
Cengaver programming language
Cengaver is a new programming language based on Turkish speaking language. -
23
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. -
24
TVE (Interpreted Programming language)
TVE is an Programming Language.
TVE is a programming language which i create his first working version in 3 days (around 3500 lines of code) I was going to write it with C#, but after i decided to write it with VB.NET to make it easier for novice developers to change the source code. TVE is a mix of "Command languages" & "programming languages", you can use it for scripting like : AHK (auto hot key), use it for making applications like windows forms using his integrated library of objects You can Download it... -
25
Evolve Programming Language
Evolve is an interpreted programming language.
Evolve is an interpreted programming language. It has been designed to be easy to use so it is easy for anyone to pick up and write a program. To this end the instruction set has been kept to a minimum, the commands and syntax have been kept as simple as possible. Evolve is no longer supported on source forge please go to the official site https://sites.google.com/site/evolvecoding/ to download executable and source code.
