Boogie Friends
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Lsp Docker | 229 | 5 months ago | 14 | gpl-3.0 | Emacs Lisp | |||||
| Scripts and configurations to leverage lsp-mode in docker environment | ||||||||||
| Boogie Friends | 38 | a year ago | 10 | Emacs Lisp | ||||||
| Tools for interacting with Boogie | ||||||||||
| Emacs Hnreader | 30 | a year ago | 2 | Emacs Lisp | ||||||
| Read Hacker News inside Emacs | ||||||||||
| Emacs Pcre | 9 | 8 years ago | Emacs Lisp | |||||||
| libpcre binding of Emacs Lisp | ||||||||||
| Basic C Compile | 6 | 7 years ago | Emacs Lisp | |||||||
| Emacs package to create a Makefile, compile and run a C file | ||||||||||
| Ghci Completion | 6 | 8 years ago | Emacs Lisp | |||||||
| Completion for GHCi commands in inferior-haskell buffers | ||||||||||
| Emacs Clang Completion | 5 | 12 years ago | Emacs Lisp | |||||||
Alternatives To Boogie FriendsSelect To Compare
Alternative Project Comparisons
Popular Emacs Projects
Popular Flags Projects
Popular Text Editors Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Emacs Lisp
Emacs
Flags
Profiler
Profiling