c-cube
Simon Cruanes
1 repositories
washington DC Imandra (@imandra-ai)
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
forked from Meoowww/Crirc

Crirc

A crystal lib for irc client

  • 0
  • 0
  • 0
  • 1
  • 0
  • about 5 years ago