Search Results for "education" - Page 15
Sort By:
5928 projects for "education" with 2 filters applied:
-
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.
-
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.
-
1
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
2
Gato (Graph Animation Toolbox): Animate graph algorithms for example for computing shortest paths, minimal spanning trees, maximum flows or maximal cardinality or weight matchings. Create your own animations using the Animated Data Structures (ADS).
-
3
tcptrace
tcptrace analyzes packet tcp connections and provides analysis
tcptrace is a tool written by Shawn Ostermann at Ohio University, for analysis of TCP dump files. It can take as input the files produced by several popular packet-capture programs, including tcpdump, snoop, etherpeek, HP Net Metrix, and WinDump. tcptrace can produce several different types of output containing information on each connection seen, such as elapsed time, bytes and segments sent and recieved, retransmissions, round trip times, window advertisements, throughput, and more. It can... -
4
GeoSolver
A Python library for solving geometric constraint problems
GeoSolver is a Python library for solving geometric constraint problems. A graphical testing and demostration application, the Geometric Constraint Workbench is included with the software. -
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.
-
5
JDataCom
Stream manager
Create ports : TCP/UDP/Terminal/File/RS232(txrx)/DB/System/Bluetooth/JNA/ETH(jpcap)/Sound. Simply configure with GUI/SFC XML file/CLI. Display, modify, replay, store (tcpdump), decode flow of bytes or objects. Implement : loop/echo/paddings/... and delai/DB2XML/Stacks/Matrix/... management. Stream conversations with a dynamic packet analyse. -
6
statTools
Command-line tools for simple statistics
statTools contains command-line tools for simple statistics -
7
Gibbon
An open source school platform built by teachers for teachers
Created by teachers, Gibbon is the school platform which solves real problems encountered by educators every day. Being free, open source and flexible Gibbon can morph to meet the needs of a huge range of schools. Download Gibbon at https://gibbonedu.org/download. -
8
CabaWeb is business simulation use as business game to teach students how economy works. It's a project written in Java using only Open Source Products.
-
9
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
-
11
ModbusPal - a Java MODBUS simulator
Modbus slave simulator
ModbusPal is a project to develop a PC-based Modbus simulator. Its goal is to reproduce a realistic environment, with many slaves and animated register values. Almost everything in ModbusPal can be customized and controlled by scripts. -
12
Think Bayes
Code repository for Think Bayes
ThinkBayes is the code repository accompanying Think Bayes: a book on Bayesian statistics written in a computational style. Instead of heavy focus on continuous mathematics or calculus, the book emphasizes learning Bayesian inference by writing Python programs. The project includes code examples, scripts, and environments that correspond to the chapters of the book. Learners can run the code, experiment with probability distributions, compute posterior probabilities, and understand Bayesian... -
13
odt2daisy is an OpenOffice.org Writer extension, enabling to export in DAISY XML, Full DAISY (xml+audio) and Audiobook format. DAISY is an NISO Z39.86 standard for blind, visual impaired, print-disabled, and learning-disabled people.
-
14
Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
-
15
Analyze
Draven's Blog
analyze is a collection of in-depth source code analyses of popular open source projects, primarily focused on programming languages, compilers, operating systems, and distributed systems. Maintained as a knowledge repository, it contains detailed write-ups that explain the internal mechanisms of complex software systems. The project is designed for developers and researchers who want to deepen their understanding of how widely used technologies are built and maintained. Each analysis breaks... -
16
EduMIPS64 (aka edumips) is a cross-platform MIPS 64 ISA simulator. It can be used to run and debug MIPS programs that are written using the MIPS64 instruction set. It supports visual debugging and lets you see what instructions do in the pipeline.
-
17
Java generic API for search algorithms on graphs implicitly given by tree node expansion operator
-
18
Please download from https://github.com/textbrowser/dooble/releases.
-
19
GenealogyJ is a viewer and editor for genealogic data, suitable for hobbyist, family historian and genealogy researcher. GenJ supports the Gedcom standard, is written in Java and offers many views like family tree, table, timeline, geography and more.
-
20
SquirrelJME
Java ME Compatible Environment
SquirrelJME is intended to be a Java ME 8 compatible environment for strange and many other devices. The source is written in pure Java and is licensed under the GNU GPLv3+. -
21
Freebasic Beginners Guide
An updated Beginners guide to FreeBASIC
The purpose of this project is to create and update a beginners guide to FreeBASIC. Over the years I have noticed that there was only three real ways to learn FreeBASIC. The FreeBASIC Documentation, the FreeBASIC Community Forum, and A old beginners guide written by Richard D. Clark and Ebben Feagan. Each of these sources are great, but they all assume some experience with a programming language. This Project is taking Richard D. Clark's and Ebben Feagan's "A Beginner's Guide to... -
22
LibreGrammar (LanguageTool fork)
Free and open-source style and grammar editor
This is a free and open-source style and grammar checker forked from Languagetool. This project intends to be a full-blown software editor for French, English, German, Spanish, Portuguese and many other languages that enhances LanguageTool with extended rules — with emphasis on style rules —, and enables many rules disabled by default on LanguageTool project. Other changes include lower reliance on online mechanisms and extra languages. --- Este é um verificador de gramática e... -
23
The Player Project: Player is a networked interface to robots and sensors. Stage and Gazebo are Player-friendly multiple-robot simulators. The software aims for POSIX compliance and runs on most UNIX-like OS's. Some parts also work on Windows.
-
24
Jacksum
a free cross platform checksum utility, supports 58+ hash algorithms
Development of this project has been moved to https://github.com/jonelo/jacksum. This site has been left for historical purposes ONLY, you find older Jacksum versions here. Please visit the GitHub site for current development. Jacksum 1.7.0 is a platform independent checksum utility (written entirely in Java) for computing and verifying (integrity check) checksums, CRC and hashes (fingerprints). It supports 58 popular hash algorithms and a lot of unique features. -
25
multipractice
Tool for practicing languages.
Practice makes perfect. Panglossa MultiPractice is a tool to help you learn and practice languages. You can create your own courses, import courses created by others, and even export courses to HTML or PDF documents. The original project (for Lazarus) was basically a flashcard app. Now it is more like a platform for creating structured courses with text, images, audio and video content, as well as different types of exercises. Please keep in mind that this project is created and...