JetBrains-Research

icon indicating a website link https://www.jetbrains.com/research/

Results 23 repositories owned by JetBrains-Research

coqpilot

29
Stars
2
Forks
Watchers

VSCode extension that is designed to help automate writing of Coq proofs.

verified publisher icon JetBrains-Research

IRen

19
Stars
0
Forks
Watchers

verified publisher icon JetBrains-Research

pubtrends

29
Stars
2
Forks
Watchers

Scientific literature explorer. Runs a Pubmed or Semantic Scholar search and allows user to explore high-level structure of result papers

verified publisher icon JetBrains-Research