Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Beluga

Contextual types meet mechanized metatheory!
Stars
174
License
gpl-3.0
Open Issues
66
Most Recent Commit
4 months ago
Programming Language
OCaml
Categories
Site
Repo
Alternatives To Beluga
Select To Compare
Lighttable ⭐ 11,683
The Light Table IDE ⛺
most recent commit 2 years ago
Nyxt ⭐ 9,345
Nyxt - the hacker's browser.
most recent commit 3 months ago


Suggest An Alternative To Beluga
Popular Text Editors Categories
Editor
Vim
Emacs
Neovim
Sublime Text
Viml
Vim Plugin
Nvim
Text Editor
Neovim Plugin
Related Searches
Emacs Ocaml
Ocaml Dependent Types
Emacs Dependent Types

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Emacs
Ocaml
Dependent Types
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.