Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
N-Type is a well-rounded typing tutor for all levels that brings the news to your fingertips every day, making learning to type less of a chore and more informative. In addition, N-Type maps your progress over time so you can see how you've improved!
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.
Dr. Scenario teaches health to youth through a series of scenarios. The player tries to identify health conditions and juggles treatment costs with efficacy. Explanations are provided in teen-friendly language to promote healthy living.
A Day in the Bay is educational software designed to teach ecology to late elementary schoolers. The child plays as an organism in the Chesapeake Bay and learns and explores the interconnectedness of different species in the largest estuary in the world
Collage helps users in the process of creating their own (collaborative) Learning Designs starting with existing patterns that represent broadly accepted techniques used by collaborative learning practitioners.
Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Hypergherkin is a library for the manipulation of Real valued algebra expressions including equation simplification, symbolic integrals & derivatives. Workings can be rendered using the default presentation MathML generator or a custom alternative
Simulating Cache based Checkpointing and Rollback schemes are currently performed only at the hardware level for the lack of such simulation software that is generic. NCkptSimulator, a simulation tool, will support different checkpointing schemes
OpenMKS is a search & navigational tool for large multimedia collections. With pluggable functionality and a core subsystem supporting the z39.50 ZING Community SRW search & retrieval specification, it can be run either as a Servlet or as a Web Service.
iSNS is an interactive neural network simulator written in Java/Java3D. The program is intended to be used in lessons of Neural Networks. The program was developed by students as the software project at Charles University in Prague.
GradeBase is a open source class management software aimed to replace commercial products such as WinNote. Built to provide an easy to use management software for everyone, GradeBase focuses on reducing valuable time spent organising student records.
code2web is a toolkit for converting source code (Java,JavaScript,XML,JSP,SQL and more) to HTML with a wide array of features, including CSS customization, outline generation, automatic documentation liking, selective highlighting and more.
This is a simple quiz program that can be usefull if you need to prepare anykind of multiple choices quiz test. You can entirely manage the questions. Attualmente è impostato con più di 300 domande per l'esame da promotori finanziari!
J-Bird is a database system for recording observations of birds and other organisms over time. To birders, it is listing software. J-Bird is suitable for maintaining bird lifelists and field notes.