Supporting hand health for Common Lisp developers

• doom-emacs

  271 13,953 9.9 Emacs Lisp

  Discontinued An Emacs framework for the stubborn martian hacker [Moved to: https://github.com/doomemacs/doomemacs]

  

I definitely agree with your own suggestion of using something like Doom Emacs or Spacemacs to get the modal editing everywhere.

• Barliman

  3 1,040 0.0 Scheme

  Prototype smart text editor

If you really want to go crazy, do interactive type-driven program synthesis. Although I think the state-of-the-art in this field is a Haskell tool called Wingman, and there are similar tools for Agda, as described in this paper, it is possible in Common Lisp I don't know if it has been done. The methodology for more rigorous typing in Common Lisp is described here. There is a program synthesis system written in Scheme called Barliman, and someone wrote an Emacs version of it called complete.el.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• suggest.el

  1 362 4.8 Emacs Lisp

  discover elisp functions that do what you want

If you really want to go crazy, do interactive type-driven program synthesis. Although I think the state-of-the-art in this field is a Haskell tool called Wingman, and there are similar tools for Agda, as described in this paper, it is possible in Common Lisp I don't know if it has been done. The methodology for more rigorous typing in Common Lisp is described here. There is a program synthesis system written in Scheme called Barliman, and someone wrote an Emacs version of it called complete.el.

Suggest a related project