Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sml Redprl

The People's Refinement Logic
Stars
214
License
mit
Open Issues
12
Most Recent Commit
4 years ago
Programming Language
Standard ML
Categories
Site
Repo
Suggest An Alternative To sml-redprl
Popular Vim Projects
Popular Type Theory Projects
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago
Popular Text Editors Categories
Editor
Vim
Emacs
Neovim
Sublime Text
Viml
Vim Plugin
Nvim
Text Editor
Neovim Plugin
Related Searches
Type Theory Proof Assistant
Proof Assistant Cubical Type Theory
Vim Proof Assistant

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Vim
Type Theory
Proof Assistant
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.