Search Results for "programming learning system"
Sort By:
Showing 15 open source projects for "programming learning system"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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.
-
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
Faust
Functional programming language for signal processing
...In this regard, Faust can be seen as an alternative to C++ but is much simpler and more intuitive to learn. Thanks to a wrapping system called "architectures," codes generated by Faust can be easily compiled into a wide variety of objects ranging from audio plug-ins to standalone applications or smartphone and web apps, etc. -
3
ELENA Programming Language
an object-oriented language with late binding
ELENA is a general-purpose, pure object-oriented language with late binding. It promotes more object-oriented program design, reusable and more standardized code. The package includes compiler, IDE, ELENA libraries and samples -
4
FMOCPP
Eclipse C/C++ MinGW MSYS2
The project aims to simplify the combined use of Eclipse, MinGW, and MSYS2 by providing a more accessible solution for preparing the development environment, compiling source code, and running C/C++ applications. In this way, students can focus on learning the fundamentals of programming, computational logic, and software solution development, while reducing the initial technical difficulties related to system paths, compilers, terminals, and dependencies. -
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
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. -
6
Lumen
Custom stack-based scripting language, compiler, and bytecode VM.
Lumen is a lightweight, stack-based scripting language built from scratch in C++20, complete with its own compiler, custom bytecode format, and virtual machine. It's designed to be simple enough to pick up quickly while still exposing the real mechanics behind how programming languages work making it as much a learning tool as a usable scripting language. It's also available on Android. Install on Arch Linux: yay -S lumen-lang-git Online playground: https://lumen.olehsheremeta.com/playground Docs: https://lumen.olehsheremeta.com/ Android version GitHub: https://github.com/spikest3r/LumenRuntimeAndroid -
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
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... -
9
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... -
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
Tao3D
Tao3D is a programming language for real-time interactive 3D
Tao3D is a programming language for real-time interactive 3D. It lets you easily create dynamic, interactive, data-rich presentations, small applications, user interface concepts, and more. -
11
SuperCollider
Real-time audio synthesis engine and music programming language
N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software. -
12
Programming language for converting source documents into HTML or XML. Writeup is a combination of a markup language (similar to markdown) and a macro pre-processing language that enables a formal production system to be set up for documents.
-
13
PARUS
Dataflow parallel programming language for clusters
PARUS is a data-flow parallel programming language that allows to build parallel programs for clusters and MPP multiprocessors. The data-flow graph is automatically converted to the C++/MPI source and linked with the libparus runtime library. Also there are available tools for benchmarking cluster interconnect and visualize it. -
14
Development environment for Karl Fant's Invocation Programming Language described in "Computer Science Reconsidered" (Wiley, 2007)
-
15
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
- Previous
- You're on page 1
- Next
