Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Athena

Athena is a modern, practical language for proof engineering & natural deduction.
Stars
53
License
apache-2.0
Open Issues
3
Most Recent Commit
10 months ago
Programming Language
Standard ML
Categories
Repo
Suggest An Alternative To athena
Popular Functional Programming Projects
Rxswift ⭐ 24,043
Reactive Programming in Swift
total releases 78latest release September 20, 2023most recent commit 3 months ago
Mostly Adequate Guide ⭐ 23,142
Mostly adequate guide to FP (in javascript)
dependent packages 2total releases 6latest release June 26, 2019most recent commit 5 months agonpm @mostly-adequate/support} Downloads
Bubbletea ⭐ 22,076
A powerful little TUI framework 🏗
dependent packages 1,027total releases 136latest release June 05, 2023most recent commit 3 months ago
Popular Theorem Proving Projects
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Related Searches
Functional Programming Standard Ml
Formal Verification Proof Assistant
Proof Assistant Theorem Proving
Formal Verification Theorem Proving
Standard Ml Theorem Proving
Theorem Proving Natural Deduction
Functional Programming Formal Verification
Standard Ml Formal Verification
Standard Ml Proof Assistant

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