https://github.com/engineeringsoftware/roosterize-vscode

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq
https://github.com/engineeringsoftware/roosterize-vscode

code-summarization coq deep-learning machine-learning vscode vscode-extension

Last synced: 14 days ago
JSON representation

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

• Host: GitHub
• URL: https://github.com/engineeringsoftware/roosterize-vscode
• Owner: EngineeringSoftware
• License: mit
• Created: 2020-11-09T22:33:24.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2023-03-02T15:08:42.000Z (almost 2 years ago)
• Last Synced: 2024-11-18T04:49:36.010Z (3 months ago)
• Topics: code-summarization, coq, deep-learning, machine-learning, vscode, vscode-extension
• Language: TypeScript
• Homepage:
• Size: 383 KB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Roosterize VSCode Extension

## Authors

- [Pengyu Nie](https://pengyunie.github.io)

- [Karl Palmskog](https://setoid.com)

- [Emilio Jesús Gallego Arias](https://www.irif.fr/~gallego/)

- [Junyi Jessy Li](https://jessyli.com)

- [Milos Gligoric](https://users.ece.utexas.edu/~gligoric/)