Similar to Axiom_(数式処理システム)

• 

  Cycプロジェクト

  Cyc
  
• 

  Hemlock

  Hemlock (text editor)
  
• 

  Grammarly

  Grammarly