Software

Neteller

Neteller is an e-money/e-wallet stored-value service owned and operated by publicly traded British...

Worldpay

Worldpay is a multinational credit card payment processing organization that specailizes in bringing commerce to businesses across the globe.

Hott Notes

Hott Notes is a free reminder for Windows operating systems.

Cloud Sticky Notes

Cloud Sticky Notes is a free, cloud based, desktop sticky note application enjoyed by thousands of...

StickyPad

StickyPad is an easy to use and invaluable system to make the digital notes and place them on any part of the desktop.

Isabelle

Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

Agda

Agda is a dependently typed functional programming language. It has inductive families, i.e.

Coq

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...

Introducing SuperNotecard. SuperNotecard is an online writing tool that features virtual notecards to help arrange facts or scenes, track details, organize paragraphs, and clarify your composition process.