Search Results for "moodle-4"
Sort By:
Showing 9 open source projects for "moodle-4"
View related business solutions-
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.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
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
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. -
3
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. -
4
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! -
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
5
Very high level modular programming language with multiple dispatch, object-oriented programming, functional closures and goal-directed programming.
-
6
Gura is a programming language that features "implicit mapping" and "member mapping", which can handle multiple data in lists and iterators at any one time.
-
7
BOLT Programming
The programming language for begginers.
This is a programming language dedicated toward teaching beginning programmers proper concepts and helping them adjust to more complex languages such as C++ or Java. BOLT uses a syntax similar you BASIC to help the programs written in BOLT to be more user friendly. -
8
runpl
Run Programming Language
a new concept for programing: new syntax and a new way of coding source files. not bytecode or any typical implementation for vm. in fact, it encodes functions and keywords for a smaller code, which is good for small devices and embebbed devices. small code, small size, RUN faster. -
9
Mpp Project
MPP is a C-based programming language that allows you to code more eas
MPP is a C-based programming language that allows you to code more easily . #IDE : WMPP new features - a minimap has been added in order to improve navigation though the source code. - Code autocomplete - Status information - sidebar menu -Simple & Fast -Syntax highlighting -Compiling -Tabs [+] Supported languages : MPP, PHP, SQL, VB, HTML -
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.
- Previous
- You're on page 1
- Next
