Search Results for "education" - Page 2
Sort By:
Showing 42 open source projects for "education"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
The All-in-One Commerce Platform for Businesses - ShopifyShopify is a leading all-in-one commerce platform that enables businesses to start, build, and grow their online and physical stores. It offers tools to create customized websites, manage inventory, process payments, and sell across multiple channels including online, in-person, wholesale, and global markets. The platform includes integrated marketing tools, analytics, and customer engagement features to help merchants reach and retain customers. Shopify supports thousands of third-party apps and offers developer-friendly APIs for custom solutions. With world-class checkout technology, Shopify powers over 150 million high-intent shoppers worldwide. Its reliable, scalable infrastructure ensures fast performance and seamless operations at any business size.
-
1
Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
-
2
NS2 Linux is dedicated to improve the Network Simulator (NS-2) to match Linux performance. Planned contents include: an NS-2 module that runs Linux congestion control functions, tutorials on how to run NS-2 to match Linux performance, benchmark for TCP.
-
3
-
4
TkGate is a event driven digital circuit simulator with a tcl/tk-based graphical editor. TkGate supports a wide range of primitive circuit elements as well as user-defined modules for hierarchical design.
-
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
5
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
-
6
Framework for software component integration, interoperability and adoptability through a XML based vocabulary: Software Component Integration Mark-up Language (SCIML)
-
7
tmk - a tcl based intelligent ``make`` tool. This ``make`` tool combines the functionality of a traditional make utility with the power of the Tcl scripting language. tmk works on everywhere
-
8
An original bruteforce-based encryption/decryption system. BBE was originally conceived to chat with encrypted text on IRC. mIRC and X-Chat support BBE via script addon. BBE can also encrypt MIME encoded files. Blowfish encryption is currently supported.
-
9
IC CAD tools, documentation, scripts, and libraries for designing high-performance ICs, including SUE for schematics, MAX for layouts, DPC for datapaths and MCC for megacells. Prebuilt binaries for Linux, Sparc-Solaris, and HP-PA.
-
Enterprise and Small Business CRM Solution | Clear C2 C2CRMC2CRM consists of four modules that integrate to provide a comprehensive CRM solution: Relationship Management, Sales Automation, Marketing Automation, and Customer Service. Only buy what each user needs.
-
10
-
11
-
12
A powerful web application development platform for AOLServer, including content caching, distributed authentication, authorization, and XML-RPC services
-
13
-
14
KaOsBot is an IRC Service started in 1998 based on eggdrop functions. It supports party line, botnet, multilanguage and chan,nick,memo style functions. The code has been structure in a way that it can support multiple irc protocols. Designed in C with
-
15
daitrix is a secure os built on security, ease of use, and linux/unix based. verry fast to install with 4 setup types- dev, server, desktop and all. everything a normal linux distro has and then some.
-
16
The Desktop Environment For Kids is a kid friendly environment for UNIX/Linux, complete with kid oriented desktop themes and desk accesories.
-
17
GPLconx is an educational visualization tool that allows exploration of lines and conic sections in three models of 2-D hyperbolic geometry.