Keshav Kini kini

• Oracle

• Belmont, CA
• @ffee_machine

Pinned Loading

2. ACL2 System and Books as Maintained by the Community

   Common Lisp 427 121

3. A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

   Emacs Lisp 24.8k 4.9k