Search Results for "programming learning system" - Page 2
Sort By:
Showing 942 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.
-
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. -
2
Go 101
An up-to-date (unofficial) knowledge base for Go programming
Go 101 is a series of books on Go programming. Currently, the following books are available. Go (Fundamentals) 101, which focuses on Go syntax/semantics (except custom generics related) and all kinds of runtime related things. Go Generics 101, which explains Go custom generics in detail. Go Optimizations 101, which provides some code performance optimization tricks, tips, and suggestions. Go Details & Tips 101, which collects many details and provides several tips in Go programming. These... -
3
Ct.js
Ct.js is a desktop game engine that makes learning programming fun
ct.js makes learning programming fun and game development easy by its visual tools, good docs and flexible, modular library. It is free, open-source, and is loved by hobbyists, professionals, teachers, and their students. Bad tools hinder your performance. Ct.js is designed to be like a brush with which you create games, not to be an enemy you will fight with. ct.js bundles come with offline docs, tutorials, and editable examples and demos. -
4
CodeGuide
This repository is a collection of the author, Xiao Fuge
...It also functions as a guide for both junior developers who want to grow into architects and experienced engineers who seek deeper mastery of system design. By combining educational material with hands-on examples, CodeGuide bridges the gap between theoretical learning and practical application in enterprise-level Java development. -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
5
Haiku
JAX-based neural network library
Haiku is a library built on top of JAX designed to provide simple, composable abstractions for machine learning research. Haiku is a simple neural network library for JAX that enables users to use familiar object-oriented programming models while allowing full access to JAX’s pure function transformations. Haiku is designed to make the common things we do such as managing model parameters and other model state simpler and similar in spirit to the Sonnet library that has been widely used across DeepMind. ... -
6
Node-RED
Low-code programming for event-driven applications
Node-RED is a programming tool for wiring together hardware devices, APIs and online services in new and interesting ways. It provides a browser-based editor that makes it easy to wire together flows using the wide range of nodes in the palette that can be deployed to its runtime in a single-click. Node-RED provides a browser-based flow editor that makes it easy to wire together flows using the wide range of nodes in the palette. Flows can be then deployed to the runtime in a single-click.... -
7
MLX42
Codam's own fixed, functioning alternative of the miniLibX
MLX42 is a modern C graphics and windowing library built on top of GLFW and inspired by the original MLX library used in 42 school projects. It aims to provide a higher-level, beginner-friendly abstraction for students learning about graphical programming, while also embracing modern practices like event-driven input, texture rendering, and transparency. MLX42 is structured to reduce boilerplate and simplify the creation of games or interactive applications in C, making it an excellent learning and teaching tool for graphics programming fundamentals. -
8
PennyLane
A cross-platform Python library for differentiable programming
A cross-platform Python library for differentiable programming of quantum computers. Train a quantum computer the same way as a neural network. Built-in automatic differentiation of quantum circuits, using the near-term quantum devices directly. You can combine multiple quantum devices with classical processing arbitrarily! Support for hybrid quantum and classical models, and compatible with existing machine learning libraries. -
9
Pythonic Data Structures and Algorithms
Minimal examples of data structures and algorithms in Python
The Pythonic Data Structures and Algorithms repository by keon is a hands-on collection of implementations of classical data structures and algorithms written in Python. It offers working, often well-commented code for many standard algorithmic problems — from sorting/searching to graph algorithms, dynamic programming, data structures, and more — making it a valuable resource for learning and reference. For students preparing for technical interviews, self-learners brushing up on fundamentals, or developers wanting to understand algorithm internals, this repository provides ready-to-run examples, and can serve as a sandbox to experiment, benchmark, or adapt code. ... -
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.
-
10
Agda
Agda is a dependently typed programming language
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. ... -
11
HelloGitHub
Share interesting, entry-level open source projects on GitHub
HelloGitHub shares interesting, entry-level open source projects on GitHub. It is updated and released in the form of a monthly magazine on the 28th of every month. The content includes interesting, entry-level open-source projects, open-source books, practical projects, enterprise-level projects, etc., so that you can feel the charm of open source in a short time and fall in love with open source! At first, I just wanted to collect interesting, high-quality, and easy-to-use projects that I... -
12
XGBoost
Scalable and Flexible Gradient Boosting
XGBoost is an optimized distributed gradient boosting library, designed to be scalable, flexible, portable and highly efficient. It supports regression, classification, ranking and user defined objectives, and runs on all major operating systems and cloud platforms. XGBoost works by implementing machine learning algorithms under the Gradient Boosting framework. It also offers parallel tree boosting (GBDT, GBRT or GBM) that can quickly and accurately solve many data science problems.... -
13
Hacking with Swift
The project source code for Hacking with iOS
HackingWithSwift is an extensive open-source repository that accompanies a popular tutorial series focused on teaching Swift programming for iOS development. It contains a large collection of example projects, exercises, and complete applications that guide learners from beginner to advanced levels. The repository is structured into different learning tracks, including UIKit-based development and modern SwiftUI approaches, allowing developers to explore multiple paradigms within the Apple ecosystem. ... -
14
Volcano
A Cloud Native Batch System (Project under CNCF)
Volcano is a batch system built on Kubernetes. It provides a suite of mechanisms that are commonly required by many classes of batch & elastic workload including machine learning/deep learning, bioinformatics/genomics, and other "big data" applications. These types of applications typically run on generalized domain frameworks like TensorFlow, Spark, Ray, PyTorch, MPI, etc, which Volcano integrates with. -
15
zvt
Modular quant framework
For practical trading, a complex algorithm is fragile, a complex algorithm building on a complex facility is more fragile, complex algorithm building on a complex facility by a complex team is more and more fragile. zvt wants to provide a simple facility for building a straightforward algorithm. Technologies come and technologies go, but market insight is forever. Your world is built by core concepts inside you, so it’s you. zvt world is built by core concepts inside the market, so it’s zvt.... -
16
CPlusPlusThings
Collection of various C++ code samples, utilities, patterns
CPlusPlusThings is a repository collecting various C++ code samples, utilities, patterns, and small example projects. It is less a polished product and more a learning/reference collection of snippets and usages of C++ idioms, data structures, algorithms, utilities, and perhaps tricks or meta-programming exercises. (No prominent README or detailed docs were available from my quick search.) Example implementations of data structures and algorithms. Organized as a learning repository (rather than a production framework). ... -
17
OCaml
The core OCaml system: compilers, runtime system, base libraries
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. -
18
PyG
Graph Neural Network Library for PyTorch
PyG (PyTorch Geometric) is a library built upon PyTorch to easily write and train Graph Neural Networks (GNNs) for a wide range of applications related to structured data. It consists of various methods for deep learning on graphs and other irregular structures, also known as geometric deep learning, from a variety of published papers. In addition, it consists of easy-to-use mini-batch loaders for operating on many small and single giant graphs, multi GPU-support, DataPipe support,... -
19
PyTorch Geometric
Geometric deep learning extension library for PyTorch
It consists of various methods for deep learning on graphs and other irregular structures, also known as geometric deep learning, from a variety of published papers. In addition, it consists of an easy-to-use mini-batch loader for many small and single giant graphs, a large number of common benchmark datasets (based on simple interfaces to create your own), and helpful transforms, both for learning on arbitrary graphs as well as on 3D meshes or point clouds. -
20
NASM
A cross-platform x86 assembler with an Intel-like syntax
...It is designed to support a wide variety of output formats, making it suitable for different operating systems and development environments. NASM is known for its simplicity and clarity, allowing developers to write assembly code that is both readable and efficient. It is commonly used in system programming, operating system development, and performance-critical applications where direct hardware control is required. The assembler is highly portable and can be used across multiple platforms, making it a standard tool in many low-level programming workflows. Its maturity and widespread adoption have made it a reliable choice for developers working close to the hardware. ... -
21
AutoKeras
AutoML library for deep learning
AutoKeras: An AutoML system based on Keras. It is developed by DATA Lab at Texas A&M University. The goal of AutoKeras is to make machine learning accessible to everyone. AutoKeras only support Python 3. If you followed previous steps to use virtualenv to install tensorflow, you can just activate the virtualenv. Currently, AutoKeras is only compatible with Python >= 3.7 and TensorFlow >= 2.8.0. -
22
mlpack
mlpack: a scalable C++ machine learning library
mlpack is an intuitive, fast, and flexible C++ machine learning library with bindings to other languages. It is meant to be a machine learning analog to LAPACK, and aims to implement a wide array of machine learning methods and functions as a "swiss army knife" for machine learning researchers. In addition to its powerful C++ interface, mlpack also provides command-line programs, Python bindings, Julia bindings, Go bindings and R bindings. -
23
HumanSystemOptimization
Healthy Learning to 150 - An Incomplete Guide to Human System Tuning
HumanSystemOptimization is a long-form personal guide about health, learning, productivity, and daily habits rather than a software application. It summarizes ideas the author gathered from neuroscience podcasts, research discussions, and personal experimentation. Major sections discuss sleep, circadian rhythms, diet, exercise, focus, mood, learning, and other aspects of everyday performance. The repository mixes background explanations with practical routines and links to outside material... -
24
MicroPython
Python implementation for microcontrollers and constrained systems
MicroPython is a lean and efficient implementation of the Python 3 programming language that includes a small subset of the Python standard library and is optimised to run on microcontrollers and in constrained environments. The MicroPython pyboard is a compact electronic circuit board that runs MicroPython on the bare metal, giving you a low-level Python operating system that can be used to control all kinds of electronic projects. -
25
Gravity language
Gravity Programming Language
Gravity is a powerful, dynamically typed, lightweight, embeddable programming language written in C without any external dependencies (except for stdlib). It is a class-based concurrent scripting language with modern Swift-like syntax. Gravity supports procedural programming, object-oriented programming, functional programming, and data-driven programming. Thanks to special built-in methods, it can also be used as a prototype-based programming language. ...
