isabelle-lambda-calculus

A formal definition and verification of System F. To be extended to System Fc (by jvanbruegge)
Review Formal Verification programming-languages soundness
Source Code
Suggest alternative
Edit details
Deploy and host your apps and databases, now with $50 credit!
Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!
sevalla.com
featured

Isabelle-lambda-calculus Alternatives

Similar projects and alternatives to isabelle-lambda-calculus

jvanbruegge
isabelle-lambda-calculus

  1. Cycle.js

    16 isabelle-lambda-calculus VS Cycle.js

    A functional and reactive JavaScript framework for predictable code

  2. Sevalla

    Deploy and host your apps and databases, now with $50 credit! Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!

    Sevalla logo

  3. PlexMediaTagger

    3 isabelle-lambda-calculus VS PlexMediaTagger

    Uses the metadata held in the PlexMediaServer to tag media files

  4. cakeml

    15 isabelle-lambda-calculus VS cakeml

    CakeML: A Verified Implementation of ML

  5. AutoCorrode

    1 isabelle-lambda-calculus VS AutoCorrode

    Verification infrastructure for the Isabelle/HOL interactive proof assistant

  6. ouroboros-high-assurance

    1 isabelle-lambda-calculus VS ouroboros-high-assurance

    High-assurance implementation of the Ouroboros protocol family

  7. cogent

    4 isabelle-lambda-calculus VS cogent

    Cogent Project

  8. prusti-dev

    23 isabelle-lambda-calculus VS prusti-dev

    A static verifier for Rust, based on the Viper verification infrastructure.

  9. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  10. hacl-star

    10 isabelle-lambda-calculus VS hacl-star

    HACL*, a formally verified cryptographic library written in F*

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better isabelle-lambda-calculus alternative or higher similarity.
Suggest an alternative to isabelle-lambda-calculus

isabelle-lambda-calculus discussion

Log in or Post with

isabelle-lambda-calculus reviews and mentions

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
    4 projects | dev.to | 6 Nov 2020
    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.

Stats

Basic isabelle-lambda-calculus repo stats
1
11
0.0
about 4 years ago

The primary programming language of isabelle-lambda-calculus is Isabelle.

Popular Comparisons

  1. isabelle-lambda-calculus VS cakeml
  2. isabelle-lambda-calculus VS PlexMediaTagger
  3. isabelle-lambda-calculus VS AutoCorrode
  4. isabelle-lambda-calculus VS ouroboros-high-assurance
  5. isabelle-lambda-calculus VS cogent
  6. isabelle-lambda-calculus VS Cycle.js
  7. isabelle-lambda-calculus VS prusti-dev
  8. isabelle-lambda-calculus VS hacl-star

Sponsored
Deploy and host your apps and databases, now with $50 credit!
Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!
sevalla.com
Loading...