Repository Index

47,133 repositories indexed

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

25–30 of 30 · Most stars

abidibo /nvim-httpyac

A simple plugin which integrates HttpYac in Neovim

HTTP client for Neovim with requests in pure Lua. Programmable, composable, extensible.

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]

Elixir support for VSCode https://marketplace.visualstudio.com/items?itemName=mjmcloug.vscode-elixir

V language (https://vlang.io) support for SciTE