Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Isabelle Lambda Calculus

A formal definition and verification of System F. To be extended to System Fc
Stars
9
License
No license specified
Open Issues
1
Most Recent Commit
3 years ago
Programming Language
Isabelle
Categories
Repo
Suggest An Alternative To isabelle-lambda-calculus
Popular Lambda Functions Projects
Faas ⭐ 24,479
OpenFaaS - Serverless Functions Made Simple
dependent packages 15total releases 31latest release April 12, 2021most recent commit 2 months ago
Sst ⭐ 20,474
Build modern full-stack applications on AWS
dependent packages 18total releases 482latest release December 09, 2023most recent commit a month agonpm sst} Downloads
Popular Progress Projects
Tqdm ⭐ 26,694
:zap: A Fast, Extensible Progress Bar for Python and CLI
dependent packages 15,455total releases 135latest release August 10, 2023most recent commit 6 months agopypi tqdm} Downloads
Nprogress ⭐ 23,848
For slim progress bars like on YouTube, Medium, etc
dependent packages 3,398total releases 6latest release April 19, 2020most recent commit 2 years agonpm nprogress} Downloads
Svprogresshud ⭐ 12,423
A clean and lightweight progress HUD for your iOS and tvOS app.
total releases 34latest release February 23, 2018most recent commit 2 months ago
Popular Cloud Computing Categories
Amazon Web Services
Cloud Computing
Azure
Lambda Functions
Heroku
Serverless
S3
Google Cloud Platform
Aws Lambda
Aws Ecs
Related Searches
Lambda Functions Calculus
Lambda Functions Definition
Lambda Functions Programming Language
Programming Language Calculus
Definition Programming Language
Progress Programming Language
Definition Calculus
Definition Progress
Calculus Formal Verification
Formal Verification Isabelle

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