A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Repository Index
47,133 repositories indexed
337–360 of 377 · Most stars
ant design pro service,mock,model generator
- ant
- design
- pro
- dva
The repository host gives no description.
xysfdx is a Rapid development tool for Salesforce SFDX Development. Support Docker, WSL, Dataloader! Metadata diff with server, retrieve standard sobject.
- sfdc
- salesforce
- sfdx-cli
- vscode
Effortless Natural Language Generation: Ollama, Anthropic (Calude), ChatGTP
Add/modify your shebangs on top of your script files, with live reloading.
- neovim
- neovim-lua
- neovim-lua-plugin
- neovim-pl
Minimalist command based AI plugin to interact with LLM backends like Ollama and OpenAI with a powerful template system
Corda extension for Visual Studio Code
Mona Lisa inspired colorscheme for Neovim
Nice previews of your prompts!
Godot theme for Zed
Vim plugin for scaffolding Elixir code and corresponding tests.
An Microsoft Visual Code extension for Golang to print symbol definition to output
all NvChad themes & all plugin highlight integrations — daily synced from NvChad/base46
Maintained complete Ada-Mode for Vim/NeoVim
An elegant ancient newspaper bursts into a night of neon greens and purples, when expression demands. A theme for Omarchy based on my 2011 vim colorscheme
A CodeCompanion extension for using VS Code Copilot prompts and Chat Mode prompts
Algorand's TEAL meets vim
Telescope-powered script runner plugin for Neovim 0.10+
- lua
- neovim
- neovim-plugin
- picker
Adds syntax highlighting and snippets to HomeMatic Script files in Atom.
Optimize SVGs in Neovim
Neovim implementation of Urtext, a markup language for Python scriptable-notebooks in a text editor.
- markdown-alternative
- neovim
- neovim-plugin
- notetaking
Syntax highlighting for the RIDE language
Visual Studio Code Extension for Essence
- visual-studio-code
- extension