Agda From Nothing
A workshop on learning Agda with minimal prerequisites.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Docker.el | 691 | 5 months ago | 8 | Emacs Lisp | ||||||
| Manage docker from Emacs. | ||||||||||
| Workstation | 492 | a year ago | 15 | mit | Python | |||||
| Docker based portable Workstation | ||||||||||
| Mypy_boto3_builder | 458 |  | 4 | 3 months ago | 37 | October 18, 2023 | 3 | mit | Python | |
| Type annotations builder for boto3 compatible with VSCode, PyCharm, Emacs, Sublime Text, pyright and mypy. | ||||||||||
| Cloudmacs | 428 | a year ago | 4 | gpl-3.0 | Shell | |||||
| Selfhost your Emacs and access it in browser | ||||||||||
| Cucumber.el | 251 | a year ago | 11 | Emacs Lisp | ||||||
| Emacs mode for editing Cucumber plain text stories | ||||||||||
| Docker Emacs | 235 | 2 years ago | 3 | gpl-3.0 | Shell | |||||
| Dockerized Emacs (GUI) | ||||||||||
| Lsp Docker | 229 | 5 months ago | 14 | gpl-3.0 | Emacs Lisp | |||||
| Scripts and configurations to leverage lsp-mode in docker environment | ||||||||||
| Dotfiles | 222 | 4 months ago | 16 | other | Shell | |||||
| :octocat: Ninrod's sharpened dotfiles for emacs, vim, zsh, tmux. Since '15. | ||||||||||
| Docker Emacs | 186 | 6 months ago | 1 | gpl-3.0 | Dockerfile | |||||
| Run Emacs in docker containers! | ||||||||||
| Elite For Emacs | 92 | 7 years ago | mit | Emacs Lisp | ||||||
| Interpretation of the game Elite using Emacs. | ||||||||||
Alternatives To Agda From NothingSelect To Compare
Alternative Project Comparisons
Popular Docker Projects
Popular Emacs Projects
Popular Virtualization Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Docker
Types
Emacs
Dependent Types