GitHub - Svalburg/TypeSystemImplementation: An implementation of the dependent type system for energy consumption

Name		Name	Last commit message	Last commit date
Latest commit History 119 Commits
ext/gtest		ext/gtest
include		include
lib		lib
src		src
test-files		test-files
tests		tests
.gitattributes		.gitattributes
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
Internship.mk		Internship.mk
Internship.project		Internship.project
Internship.txt		Internship.txt
Internship.workspace		Internship.workspace
main.cpp		main.cpp

About

An implementation of the dependent type system for energy consumption

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

C++ 98.9%
Other 1.1%