Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for emacs homotopy type theory
emacs
x
homotopy-type-theory
x
2 search results found
Cubicaltt
⭐
547
Experimental implementation of Cubical Type Theory
Two Level
⭐
5
Two-Level Type Theory
Related Searches
Emacs Melpa (757)
Emacs Elisp (634)
Emacs Org Mode (569)
Vim Emacs (506)
Shell Emacs (502)
Dotfiles Emacs (461)
Editor Emacs (422)
Theme Emacs (420)
Python Emacs (410)
Clojure Emacs (347)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
