Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Formality Core

Specification of the Formality proof and programming language
Stars
35
License
mit
Open Issues
n,ull
Most Recent Commit
4 years ago
Programming Language
JavaScript
Monthly Downloads
npm formality-core Downloads
Dependent Packages
3
Total Releases
124
Latest Release
May 15, 2020
Categories
Repo
Alternatives To Formality Core
Select To Compare
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 5 months agonpm kind-lang} Downloads
Egg ⭐ 1,164
egg is a flexible, high-performance e-graph library
dependent packages 6total releases 23most recent commit 4 months agocargo egg} Downloads


Suggest An Alternative To Formality-Core
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Programming Language Lambda Calculus
Programming Language Type System
Type System Lambda Calculus
Lambda Calculus Formality

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Programming Language
Lambda Calculus
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.