copilot.vim
JQF
Our great sponsors
| copilot.vim | JQF | |
|---|---|---|
| 61 | 3 | |
| 7,591 | 626 | |
| 4.7% | - | |
| 7.6 | 6.3 | |
| 6 days ago | 7 months ago | |
| Vim Script | Java | |
| GNU General Public License v3.0 or later | BSD 2-clause "Simplified" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
copilot.vim
- Copilot.vim: Neovim Plugin for GitHub Copilot
-
Show HN: Use Code Llama as Drop-In Replacement for Copilot Chat
I use copilot in neovim[1]. It was remarkably simple to get installed. Highly recommend
- How to use GitHub copilot in Vim?
- Obsidian-Copilot: A Prototype Assistant for Writing and Thinking
- Re: I Don't Use Copilot
-
Using Github Copilot.vim within Markdown fenced code blocks
I use Plug 'tpope/vim-markdown' and markdown fenced codeblocks fairly extensively, and recently installed Copilot.vim.
-
Neovim Integrations with AI and the rest of Internet
Anyways. Yes, neovim has AI integration like copilot ( https://github.com/github/copilot.vim ) and chatgpt ( https://github.com/jackMort/ChatGPT.nvim )
- Copilot nightly for Neovim?
-
I like Tabasco.
I do think VSCode is a great tool and I recommend it frequently to people, but I still want to set the record straight here. Yes, vim is obviously limited in the sense that as a CLI app it doesn't draw it's own PDF or HTML windows, that's fair. But it can remote control your favorite PDF viewer or browser for roughly the same functionality. I'm currently writing my thesis using vimtex and it's quite smooth. And all the other stuff you mention is implemented quite competently by various plugins like vim-fugitive, coc.nvim, vimspector and copilot.vim.
- [Neovim] Uso de GitHub Copilot en Neovim: <Bab> El mapa ha sido deshabilitado o es reclamado por otro complemento
JQF
-
CS 6120: Advanced Compilers: The Self-Guided Online Course
We are working on projects related with cybersecurity and compilers. A reference we look at is [1] and [2]. I think we can publish the results in the coming months.
[1] https://github.com/rohanpadhye/jqf/wiki/Fuzzing-a-Compiler
-
GitHub Copilot for JetBrains and Neovim
QuickcCheck-type tools (generators for tests that know about the edge cases of a domain - e. g. for the domain of numbers considering things like 0, the infinities, various almost-and-just-over powers of two, NaN and mantissas for floats, etc.):
* QuickCheck: https://hackage.haskell.org/package/QuickCheck
* Hypothesis: https://hypothesis.readthedocs.io/en/latest/
* JUnit QuickCheck: https://github.com/pholser/junit-quickcheck
Fuzz testing tools (tools which mutate the inputs to a program in order to find interesting / failing states in that program). Generally paired with code coverage:
* American Fuzzy Lop (AFL): https://github.com/google/AFL
* JQF: https://github.com/rohanpadhye/JQF
Mutation / Fault based test tools (review your existing unit coverage and try to introduce changes to your _production_ code that none of your tests catch)
* PITest: https://pitest.org/
-
Jazzer brings modern fuzz testing to the JVM
If you are interested in fuzzing your Java code, you should also have a look at the JQF project which directly integrates with junit tests: https://github.com/rohanpadhye/JQF
What are some alternatives?
helix - A post-modern modal text editor.
jqwik - Property-Based Testing on the JUnit Platform
copilot-cmp - Lua plugin to turn github copilot into a cmp source
junit-quickcheck - Property-based testing, JUnit-style
gpt-code-clippy - Full description can be found here: https://discuss.huggingface.co/t/pretrain-gpt-neo-for-open-source-github-copilot-model/7678?u=ncoop57
fuzzing - Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
neovim-copilot-nix-bundle - Run Neovim with GitHub Copilot out of the box
fast-check - Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
SpaceVim - A community-driven modular vim/neovim distribution - The ultimate vimrc
copilot-docs - Documentation for GitHub Copilot
vscode-neovim - Vim mode for VSCode, powered by Neovim
fuzzcheck-rs - Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions