Review lets you use flashcards, automatic score tracking, and efficient review sessions to study and recall anything. It keeps track of how well you know each question, so it can test your weaker spots more frequently. You can add your own questions or flashcards in the form of text, mathematical symbols, images, or sounds. You can also set prerequisites to any question.
Ingatan is a clean, intuitive, and highly flexible memory quiz generator. It is perfect for a huge range of applications, including learning languages, remembering physics equations, labelling anatomical diagrams, practising any type of exam question, and reviewing organic chemistry mechanisms. When asking questions, a bias is placed toward those with a low historical grade. An inline symbol menu makes it easy to insert non-keyboard characters. Questions are intelligently organised into libraries, and libraries into groups, and can easily be shared.
STMX is a high-performance Common Lisp library for composable Transactional Memory (TM), a concurrency control mechanism aimed at making concurrent programming easier to write and understand. Instead of traditional lock-based programming, one programs with atomic memory transactions: if a memory transaction returns normally it is committed. If it signals an error, it is rolled back. Transactions can safely run in parallel in different threads, are re-executed from the beginning in case of conflicts or if consistent reads cannot be guaranteed, and effects of a transaction are not visible from other threads until committed. This gives freedom from deadlocks, automatic rollback on failure, and aims to resolve the tension between granularity and concurrency.