Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Try Auth0 for Free
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Geoplan-Geospace is a 2D and 3D interactive geometry software to create and manipulate interactive figures for eLearning. It features euclidean geometry objects (lines, circles), numerical functions, numerical sequences, geometrical transformations.
CaptionHidder is designed to hide the caption of movie files when they are being played, in order to promote users' listening comprehension. The software is capable for Linux.
Mmfc is an implementation of the well known flash card learning system. It extends the original idea of having texts to be learned by the additional features of image and sound cards and any combination of those cards. E.g. text-soundcard, text-image-soun
AnkiQT Lite (also known as Anki QPE) is a port of ankiqt (the GUI component of Anki) to the QT Palmtop Environment. It allows Anki to be run on a lower spec device, such as a PDA.
A prototype system designed to aid in the identification of handwriting, particularly medieval, following the principles outlined at http://www.digitalmedievalist.org/journal/3/stokes/ and in forthcoming publications.
This program intends to enable the user to simply search for words based on the known length and some known characters. It's primary goal is therefore to serve as an aide in solving crossword puzzles.
A program for organizing and commenting textual citations from texts (books, articles or other published works) for use in producing scientific or academic publications. Works together with EndNote, RefWorks and BibTeX. Exports to PDF and Word (RTF).
A simple java utility to check if a number can be factored or is prime, and prints the factors if they exist. This util stemmed out of a desire to make it quicker for my wife to check our son's homework, and is intended as an educational utility.
Athenea is a software used to check programming contest code solutions.
It can compile from c++ or java source files, and compares the output with the test dataset defined.
JUnit Generator can automatically generate junit test cases for a specific class or method of Java; Fully supports the characteristics of object-oriented like generic type, complex class type generation etc.
This proyect presents a system, which, from a corpus of documents, extracts information about a theme area, and a pedagogical components collection. This information is packed into fine granularity learning objects (metadata included).
A web application built in java to collect snippet of code or items on the web in categories. The application is provided with user registration, snippet moderation, advanced code formatting and ActionScript API for Flash applications integration.
The m6800 Simulator is a teaching tool to introduce students to microprocessors.
It is based on a cut-down version of the M6800 chip, and a reduced instruction set. The simulator assembles and simulates execution of the users code on a GUI
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.
We propose a metabolic pathway drawing algorithm for reducing the number of edge crossings by considering the fact that metabolic pathway graph is scale-free network.
ThetaCircle is an easy to use typing and scripting tool. Use it to type, copy and then pipe or paste your script to your favorite word processor. The major use of ThetaCircle is for translation and transcription.
Suiteki is a set of Java J2ME japanese related tools for your mobile phone; word dictionary, kanji dictionary, word lists, flashcards and even a manga viewer! Kana/kanji input/display for non japanese phones! (please see http://suiteki.sourceforge.net)
The intention of this project is to provide a freely available application to create and perfom interactive comunication boards to be used by people with severe motor disabilities.
A verilog language compiler written using Java and JavaCC. It produces a netlist, an ascii text file, of all the cell connections. It can compile very large circuits comprised of many modules.