Build gen AI apps with an all-in-one modern database: MongoDB Atlas
MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
Start Free
Simple, Secure Domain Registration
Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.
Register 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.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
This project is an attempt to create a usable framework to simulate simple network and link protocols and check their performance under different configurations and parameters.
Dodona is a molecular dynamics program which aims to treat nanostructures. It is provided with a basic interpretater language and can easily be extended with plugins. It supports basic matrix and vector manipulation in a Matlab/Octave-fashion way.
Partgen is a simple particle system generator and simulator. It's intended to have a 3D scene description language, and batch processing mode. Support for some scripting languages like ruby is also planned
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving 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.
A software to help people (not necessarily children) learning a language. Designed to be used by teachers during their course. Based on a reading/writing method.
PlanK is an education application to help young and less young people to learn history. The main purpose of PlanK is to display chronological timelines that can be edited by the user. PlanK is GPL and available for MacOS, Linux and Windows
Classic Game Maker is meant to aid in the process of teaching programming and will be based in stages/levels of the development process to allow the gradual progress of students in programming while creating full versions of classic games
Yabman is a tool for managing bibliographic references. Its key features are a quality user interface, a carefully designed data model, and sophisticated three-state hierarchical reference labeling. It is currently usable but in a pre-alpha stage.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving 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.
This project's goal is to implement Artificial Inteligence algorithms and make them available for any platform but especially for
mobile devices.
The main objective is to allow the community to develop better and more
inteligent mobile games.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
eWorkbook is a Computer Aided Assessment tool for easily creating and taking on-line tests for learner's assessment and self-assessment. Tests are based on Multiple Choice, Multiple Response and True/False question types.
Home library and inventory control system; lets you keep track of your books (and in the future: movies, games, music, ...), where they are, who's got them, checkin/out, borrow, loan. Currently very informal, designed for home use.
Learning Management System con sistema de seguimiento basado en mod_rewrite de Apache 2.x y siguiendo las recomendaciones del sector SCORM y W3C en cuanto a XHTML, CSS2 y DOM
Project Braingain constitutes a highly-portable personal application for viewing, sharing, and transforming educational documents for Students and life long learners alike.
A decentralized MMORPG modelled after the world wide web such that anyone can host a world on his server and link it to other worlds in the web. It also differs from other such games because its focus is on puzzle-style quests instead of monster killing.
Advanced learning tool to assist students in improving there Java programming skills. Includes real-time checking of user answers to exercises set through the web-based UI, which is powered by PHP, Java and mySQL.
Appr is a useful program that helps you learning a new language. You can specify easily a list of word you want to learn, and the program, using the Leitner method, will help you improving your vocabulary.
The Lazybones project is a server and a collection of clients. It allows one person to voice control multiple machines. Designed for software developers and sys admins, Lazybones speeds up redundant and/or complex tasks.
Online Classroom for tutoring/teaching. Written in C# and is very simple to use. Currently the client is in development but most of the server is done. Currently there is a chat and a whiteboard, as well as plans for Audio. Looking for developers.
This project consists of an app to display flashcards in 2 environments: in PocketPCs (with .NET CF), in Windows (.NET) or Linux (Mono) Desktops . You can also visit the project's website at http://www.myflashcard.org .
TizOz OS is an operating system thought to learn how to develop operating systems. Coded in C its main objective is to reamin simple tough having a lot of capabilities.