Web applications

Some examples

• www.grammaticalframework.org/demos
  • Minibar, Tourist Phrasebook, Mathbar, Translation Quiz (JavaScript)
  • Syllogisms (JavaScript + Haskell + theorem prover)
• cloud.grammaticalframework.org/
  • GF online editor
  • Simple Translation Tool