Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/adamouization/lambda-calculus-proofs

Short proofs about using the Lambda-Calculus as a Programming Language (2017)

https://github.com/adamouization/lambda-calculus-proofs

Science Score: 23.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ○
    .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ✓
    Committers with academic emails
    1 of 1 committers (100.0%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (2.6%) to scientific vocabulary

Keywords

functional-programming lambda lambda-calculus lambda-expressions lambda-functions latex
Last synced: 5 months ago · JSON representation

Repository

Short proofs about using the Lambda-Calculus as a Programming Language (2017)

Basic Info
  • Host: GitHub
  • Owner: Adamouization
  • Language: TeX
  • Default Branch: master
  • Homepage:
  • Size: 161 KB
Statistics
  • Stars: 1
  • Watchers: 2
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Topics
functional-programming lambda lambda-calculus lambda-expressions lambda-functions latex
Created almost 9 years ago · Last pushed over 6 years ago
Metadata Files
Readme

README.md

Lambda Calculus as a Programming Language

This project consists of short exercices and proofs about using the lambda-calculus as a programming language in the context of the Functional Programming module from the University of Bath in 2017.

The exercices/proofs can be read here.

Contact

Owner

  • Name: Adam Jaamour
  • Login: Adamouization
  • Kind: user
  • Location: United Kingdom
  • Company: @NewDayTechnology

💻 Data Scientist @NewDayTechnology 🧠 MSc AI @ Uni of St Andrews 📓 BSc Computer Science @ Uni of Bath 💼 Former SWE @ Scuderia Alpha Tauri F1 Team

GitHub Events

Total
Last Year

Committers

Last synced: 8 months ago

All Time
  • Total Commits: 26
  • Total Committers: 1
  • Avg Commits per committer: 26.0
  • Development Distribution Score (DDS): 0.0
Past Year
  • Commits: 0
  • Committers: 0
  • Avg Commits per committer: 0.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
Adamouization a****5@b****k 26
Committer Domains (Top 20 + Academic)
bath.ac.uk: 1

Issues and Pull Requests

Last synced: 8 months ago

All Time
  • Total issues: 0
  • Total pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Total issue authors: 0
  • Total pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Issue authors: 0
  • Pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
Top Labels
Issue Labels
Pull Request Labels