jape

v. joke, trick, tease; mock

n. joke, trick, act of mischief

Jape is a configurable graphical, formal-proof calculator. It allows user to define a logic, decide how to view proofs, and much more. It works with variants of the sequent calculus and natural deduction.It is available for the Mac, Unix, and Windows operating systems. It is truly amazing.
See more at Wikipedia.org...

Noun
1. a humorous anecdote or remark intended to provoke laughter; "he told a very funny joke"; "he knows a million gags"; "thanks for the laugh"; "he laughed unpleasantly at hisown jest"; "even a schoolboy's jape is supposed to have some ascertainable point"
(synonym) joke, gag, laugh, jest
(hypernym) wit, humor, humour, witticism, wittiness
(hyponym) belly laugh, sidesplitter, howler, thigh-slapper, scream, wow, riot
(part-meronym) punch line, laugh line, gag line, tag line

(v. t.)
To mock; to trick.
  

(v. i.)
To jest; to play tricks; to jeer.
  

Synonyms and related words:
Parthian shot, back answer, badinage, banter, barrack, be merry with, belly laugh, blue story, caustic remark, chaff, comeback, crack, crack a joke, crack wise, cut, cut at, cutting remark, dig, dig at, dirty joke, dirty story, double entendre, drollery, dump, dump on, ethnic joke, exchange, fleer, fleer at, flout, foolery, fooling, fooling around, fun, funny story, gag, gibe, gibe at, gibing retort, give-and-take, good one, good story, good-natured banter, harmless teasing, haze, howler, jab, jab at, jeer, jest, jestbook, jive, joke, jolly, josh, kid, kid around, kidding, kidding around, laugh, leg-pull, make a funny, make fun, make fun of, mock, needle, panic, parting shot, persiflage, play, play on words, pleasantry, point, poke fun at, pooh, pooh-pooh, pun, put down, put on, put-down, put-on, quip, rag, rail at, raillery, rally, rallying, rank out, razz, revile, rib, rib tickler, ride, ridicule, riot, roast, rude reproach, scintillate, scoff, scoff at, scout, scream, scurrility, short answer, sick joke, sidesplitter, sight gag, slam, slap, slap at, sneer, sneer at, sparkle, sport, story, swipe, taunt, tease, twit, utter a mot, verbal thrust, visual joke, waggery, wheeze, wisecrack, witticism, wow, yak, yarn