A

agda-vim

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

Agda interaction in vim

Tags

No tags have been added

In a Nutshell, agda-vim...

...
has had 118 commits made by 18 contributors
representing 1,299 lines of code
...
is mostly written in Vim Script
with a very low number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in June, 2013
ending with its most recent commit almost 4 years ago

Quick Reference

Homepage
Download

Code Locations:

https://github.com/derekelkins/a...

Similar Projects:

Become the first manager for agda-vim

This Project has No vulnerabilities Reported Against it

Did You Know...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
by exploring contributors within projects, you can view details on every commit they have made to that project

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

Vim Script	66%
Python	34%

30 Day Summary

Jul 12 2025 — Aug 11 2025

0 Commits
0 Contributors

12 Month Summary

Aug 11 2024 — Aug 11 2025

0 Commits
0 Contributors

Most Recent Contributors

	Derek Elkins		favonia
	István Donkó		Mark Barbone
	Daisuke Shimamoto		takenoko

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!