List of loglangs and quasi-loglangs

Logical languages (by ‘genre’)

Loglandic

• Loglan (James Cooke Brown, 1955): website
• Lojban (Bob «lojbab» LeChevalier et al., 1987): website, Discord
• Gua\spi (Jim Carter, 1991): website
• Toaq (solpahi, 2013): website, Discord

Loglan-influenced

• Voksigid (Bruce Gilson, 1991): archive
• Liva (Claudio Gnoli, 1995): archive
• Lojsk (Ari Reyes, 2002): lojban.org article
• Trari (Bruce Gilson, 2009): lojban.org article

Experimental

• X-1 (many people, 2005): lojban.org article
• Xorban (Xorxes, And Rosta, Mike S., 2012): website
• UNLWS (Alex Fink, Sai, ?): website

Formal

• CycL, ontology language: Wikipedia article
• IKL: website

Some others are mentioned over at the Lojban wiki.

Some important non-loglangs

• Láadan (Suzette Haden Elgin, 1982), related to the Sapir–Whorf hypothesis: website (dead link?)
• Ceqli (Rex F., 1996), influenced by Loglan: [1], [2]
• Latejami (Rick Morneau, 1995), whose design is optimized for machine translation purposes: write-up
• Ithkuil (John Quijada, 2004), whose aim is to describe meanings as precisely as possible: website, Discord
• The New Ithkuilic Language (John Quijada, work in progress): write-up, Discord
• LIT (?): Discord