Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Yup

YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and equational reasoning.
Stars
36
License
No license specified
Open Issues
0
Most Recent Commit
a year ago
Programming Language
OCaml
Categories
Repo
Alternatives To Yup
Select To Compare
Mylg ⭐ 2,309
Network Diagnostic Tool
total releases 12most recent commit 4 years ago
Go Mode.el ⭐ 1,350
Emacs mode for the Go programming language
total releases 15most recent commit 6 months ago
Haskell Mode ⭐ 1,297
Emacs mode for Haskell
most recent commit 4 months ago
Deft ⭐ 551
Deft for Emacs
most recent commit 3 years ago


Suggest An Alternative To YUP
Popular Text Editors Categories
Editor
Vim
Emacs
Neovim
Sublime Text
Viml
Vim Plugin
Nvim
Text Editor
Neovim Plugin
Related Searches
Ocaml Emacs Mode

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Emacs Mode
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.