Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for emacs dependent types
dependent-types
x
emacs
x
3 search results found
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Beluga
⭐
174
Contextual types meet mechanized metatheory!
Agda From Nothing
⭐
62
A workshop on learning Agda with minimal prerequisites.
Related Searches
Emacs Lisp Melpa (866)
Emacs Melpa (757)
Emacs Lisp Elisp (688)
Emacs Elisp (634)
Emacs Org Mode (569)
Vim Emacs (506)
Shell Emacs (502)
Dotfiles Emacs (461)
Editor Emacs (422)
Theme Emacs (420)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.