- https://itl.dimi.uniud.it/
- The website on Interval Temporal Logics (ITL) - people, bibliography, and funny tools
- http://gandalf.dia.unisa.it/
- GandALF - a very interesting conference :-)
- http://www.programmazionelogica.it/
- GULP (Gruppo Ricercatori e Utenti Logic Programming): an association which I belong to.
They really understand about logics and logicians ;)
- http://www.eatcs.org/
- EATCS (European Association for Theoretical Computer Science): another association I belong to
- http://detexify.kirelabs.org/
- I find this really useful... if you do not remember the LaTeX tag for some strange symbols, here the solution
- http://dx.doi.org/
- Find a paper by its DOI number
- http://www.caratterispecialihtml.com/
- Codici per caratteri speciali in HTML
- http://www.wolframalpha.com/
- This guy really knows everything, ask him!!!
- http://fooplot.com/
- Online function plotter
- http://www.ushuaia.pl/hyphen/
- Find the correct hyphenation of words in several languages
- http://www.proz.com/
- http://mymemory.translated.net/
- Two website for advanced translation aid
- http://utandeildin.is/
- Polar beer league
- http://www.clipconverter.cc/
- Website to convert (online) and download videos from youtube and similar
-
https://genofond.org/viewtopic.php?p=9000&f=8#p9000
- Search engine for books
-
http://sci-hub.io/,
http://sci-hub.bz/,
http://sci-hub.tw/
- Search engine for scientific papers
|
