isabelle-lambda-calculus
A formal definition and verification of System F. To be extended to System Fc (by jvanbruegge)
PlexMediaTagger
Uses the metadata held in the PlexMediaServer to tag media files (by ccjensen)
Our great sponsors
| isabelle-lambda-calculus | PlexMediaTagger | |
|---|---|---|
| 1 | 3 | |
| 10 | 145 | |
| - | - | |
| 0.0 | 0.0 | |
| almost 3 years ago | over 1 year ago | |
| Isabelle | Python | |
| - | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
isabelle-lambda-calculus
Posts with mentions or reviews of isabelle-lambda-calculus.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2020-11-06.
-
My Open Source Journey
I got more into theorem proving, i.e. using a programming language to write mathematical proofs and have them checked by a compiler. Step by step I am working on a machine checked proof of type safety of System Fc, the intermediate language of the Haskell compiler.
PlexMediaTagger
Posts with mentions or reviews of PlexMediaTagger.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2020-11-06.
-
Plex Naming Issue
Plex Media Tagger
-
My Open Source Journey
With this new goal in mind, I again searched around and found a pure python library that could write the metadata, so I could replace subler and have a pure python plugin that could run on any operating system! I forked and cloned the repository (I already used git for my personal code) and got the changes done rather quickly. It worked well enough on the Linux NAS, so I shared my work in order for others to benefit from it. Knowing not much about programming and good code style, I basically just copy pasted the python library into the project and commited that. You can see the horror that is the PR here. Apparently I missed some stuff or there are differences in the metadata for different operating systems, so it never got merged (I also did not really care about it as it was working well enough for myself).
What are some alternatives?
When comparing isabelle-lambda-calculus and PlexMediaTagger you can also consider the following projects:
cakeml - CakeML: A Verified Implementation of ML
Cycle.js - A functional and reactive JavaScript framework for predictable code
cogent - Cogent Project
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
hacl-star - HACL*, a formally verified cryptographic library written in F*
ouroboros-high-assurance - High-assurance implementation of the Ouroboros protocol family