Bridge between Lua and the .NET.
- luainterface
- lua-functions
- c-sharp
- dotnet
Repository Index
83,087 visible repositories in the index
1–3 of 3 · Most stars
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration