With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
Try free now
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
A formal proof generator for the system of Fitch. Apart from Fitch diagrams it can also be used to generate truth tables or tree diagrams. Good support for hints and single-stepping. This program is used as the engine behind http://logica.ewi.tudelft.nl.
seeetron-ssc is Java sourcecode for controlling the SEEtronics mini-SSC servo controller board (see: http://www.seetron.com/ssc.htm). The board itself does not come with Java support, so this project provides that third-party support.
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
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.
ETH Lecture Communicator is a tool to improve the interaction in the classroom. The software enables the instructor to create and carry out in-class online-assessments and facilitates organized and instant two-way communication for big classes.
YOPS (Ye Olde Photo Shoppe) is a media manipulation framework written in Java. Computer science educators use this framework to help novices learn and practice fundamental programming concepts by having them create tools for their own photoshop-like app.
HTML_testsystem is a fairly flexible system for taking tests at no cost at all, except for the eventually needed webhosting. It is written entirely in HTML code and JavaScript. An Excel workbook is provided to enter questions in a comfortable way.
Code libraries and media files contributed by Whoola, Inc. Includes Whoola Cyberspace, a virtual reality web browser with fly-through hyperlinks. The sourcecode includes a COLLADA loader for Xith. Click on the "Home Page" link above to install.
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
MathBase is a productivity environment for mathematical problems and technical applications. You will be able to draw geometrical scenes, compute functions, plot them, and write about them, all easy as 1-2-3!
Stackful is a web-based programming environment for beginners inspired by Hypercard. Users can create web pages live by dropping in page elements, positioning them, and writing the code behind them. Everyone should learn a little programming.
java2web is a java to html sourcecode converter which a wide array of features, including CSS customization, outline generation, automatic javadoc liking, selective highlighting and a lot more.
EducationBits is a 2D animation project for online learning focused on content creation. It aims to deliver state-of-the-art animated content to learners in lesson format. Allowing them to interactively engage the actors inside each lesson.
JCPUSim is a CPU (Central Processing Unit) simulator written in Java. It is intended to aid in teaching how the fetch-decode-execute cycle, CPU, registers, memory and assembly programming language work in a computer system.
SpellTime is a program to help kids (or adults) learn their spelling. It allows for the creation of word lists which can be added to student names. Words recorded to wav format files are played back to the student. Students can practise or take tests.
Crunchy is an application that transforms an html-based Python tutorial into an interactive session within a browser window. It was previously known as Crunchy Frog, but the name was changed to avoid conflict with an already existing project.
HardCoder - A powerful software for conducting online exams/competitions on C/C++/Java/C#. The software can compile, run, test and judge winners of code written in either of C, C++, Java or C# programming languages, all by itself.
The Electronic Evaluation System is a set of client-server applications designed to ease the evaluation process for various domains by allowing creation, publishing and solving of tests with various plugin-based question types.
This project is an extension of MediaWiki. It allows the user to create quizzes within the environment of Mediawiki, and to set up other users to take the quizzes later.
Educational software consisting of programming small robots wich may achieve simple tasks or combat between them in various environements. Combines 'Robocode' and 'CeeBot' features.
As a cross-platform application, Exomatic largely automates the production and marking of individualized exercises. It provides a pedagogical material to solve exercises via a user-friendly interface that stimulates the students’ involvement.