59 Commits (master)
 

Author SHA1 Message Date
  Epi Morphism b78b579985 WIP better support of nick clashes 1 month ago
  Epi Morphism 16b9c5aaad Support multiple channels for /JOIN 1 month ago
  Epi Morphism 2dbd52acf1 Handle joining the channels that are not provisioned. 1 month ago
  Epi Morphism 763ef4c976 this quickfixes the rfc6455 exception.. temporarily 1 month ago
  Epi Morphism 0a03801228 handle nick changes if user hasn't joined any channels 1 month ago
  Epi Morphism 9183ef57d4 Beta nick change thing.. 1 month ago
  Epi Morphism 1bb8cc7cf5 handling of command-errors 2 months ago
  Epi Morphism c2659ae51f better and cleaner irc-functions/read-from-client 2 months ago
  Epi Morphism 17251045eb Handle nick collisions 2 months ago
  Epi Morphism ec8b38ac55 fix main 2 months ago
  Epi Morphism b7712d2f1f hacking together a version with multiple channels 2 months ago
  Epi Morphism e13e0d136d Make channels & custodian part of the irc-connection state 2 months ago
  Epi Morphism aa4ba67a2e connect the websockets only on channel join 2 months ago
  Epi Morphism 09512f7a7d tidy readme 3 months ago
  Epi Morphism 9149384d8d use the `define-predicate` trick 3 months ago
  Epi Morphism abd866e3d7 add /MOTD 3 months ago
  Epi Morphism f428297a5f add the STATS command 3 months ago
  Epi Morphism c596677df1 Implement PINGs and timeouts 3 months ago
  Epi Morphism 57d04dc00e update README 3 months ago
  Epi Morphism 3df5eb4c0a typecheck chat.rkt 3 months ago
  Epi Morphism c47b17027d use the typed api in ircd.rkt 3 months ago
  Epi Morphism 77a128e6a1 typing api.rkt 3 months ago
  Epi Morphism a95f9a8b15 add some URLs 3 months ago
  Epi Morphism 5c079c9790 fixing a bug in the irc parser 3 months ago
  Epi Morphism 7cb3ba6eeb typecheck ircd.rkt 3 months ago
  Epi Morphism 3508ffa3f1 typed websockets and IRC commands 3 months ago
  Epi Morphism e1673dd5e0 update docs 3 months ago
  Epi Morphism 1a6204dff5 Propert TOPIC handling 3 months ago
  Epi Morphism ee3b98e7bd Fix logging 3 months ago
  Epi Morphism dfdfe5ad2a implement WHOIS 3 months ago
  Epi Morphism 1498b303a8 shut down he irc connection when websocket dies 3 months ago
  Epi Morphism f19449503b proper (?) handling of PINGs 3 months ago
  Epi Morphism 03b5725990 Be more careful with parsing leftover lines 3 months ago
  Epi Morphism 18ad9546d9 Graceful handling of messages that cannot be parsed 3 months ago
  Epi Morphism b55755c67a unheck the html 4 months ago
  Epi Morphism 80984de649 receive /NAMES properly (kinda?? lol) 4 months ago
  Epi Morphism d23a434b79 fix the JOIN/PARTs bugs 4 months ago
  Epi Morphism 10b4095df0 update docs & messages 4 months ago
  Epi Morphism bb482d7d83 process incoming nick changes 4 months ago
  Epi Morphism 45d65ad0db receive JOIN/PARTs from movienight 4 months ago
  Epi Morphism bf939eb653 bump readme 4 months ago
  Epi Morphism 1a892fa623 clarify logging situation 4 months ago
  Epi Morphism 8598fdb582 better MOTD 4 months ago
  Epi Morphism c44a9a54d7 command line options 4 months ago
  Epi Morphism c80e431a54 update the readme 4 months ago
  Epi Morphism 66919574dc rewriting the ircd 4 months ago
  Epi Morphism 3388ab21a4 upd8 readme 4 months ago
  Epi Morphism bc84e3e39b another fix. 4 months ago
  Epi Morphism f63573d670 quickfix 4 months ago
  Epi Morphism eca5799815 better messages 4 months ago