Data

Tools

Indexes

Applications

Experiments

Open Source Science

recording

🎥 REPL for a polymorphic record-calculus

https://github.com/educorreia932/recording

Science Score: 44.0%

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

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • â—‹
    DOI references
  • â—‹
    Academic publication links
  • â—‹
    Committers with academic emails
  • â—‹
    Institutional organization owner
  • â—‹
    JOSS paper metadata
  • â—‹
    Scientific vocabulary similarity
    Low similarity (5.3%) to scientific vocabulary

Keywords

compilation lambda-calculus master-dissertation polymorphism record-calculus
Last synced: 6 months ago · JSON representation ·

Repository

🎥 REPL for a polymorphic record-calculus

Basic Info
  • Host: GitHub
  • Owner: Educorreia932
  • License: other
  • Language: Haskell
  • Default Branch: master
  • Homepage:
  • Size: 181 KB
Statistics
  • Stars: 2
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Topics
compilation lambda-calculus master-dissertation polymorphism record-calculus
Created over 2 years ago · Last pushed 11 months ago
Metadata Files
Readme Changelog License Citation

README.md

Recording

Recording is a REPL for a $\lambda$-calculus with support for records and polymorphic operations over them.

Installation

sh cabal install

How to run

Execute cabal run to start the REPL.

Recording (1.0.1). Type :h to see a list of available commands λ> :h

For information on how to use the interpreter, type :h in the REPL.

Example

λ> :type \x -> x ∀t::U.(t -> t) λ> :eval (\x -> x) 1 1

Tests

To run the test suite, execute the following:

cabal test

This work was part of my Master's thesis at FEUP.

Owner

  • Name: Eduardo Correia
  • Login: Educorreia932
  • Kind: user
  • Location: Japan
  • Company: @FEUP @ieeeupsb

Programming is like alchemy and I turn 0s and 1s into things in the internet

Citation (CITATION.cff) 

cff-version: 1.2.0
authors:
  - family-names: da Costa Correia
    given-names: Eduardo
title: "Recording"
date-released: 2025-04-10
url: "https://github.com/Educorreia932/Recording"

GitHub Events

Total
  • Delete event: 5
  • Push event: 10
  • Create event: 1
Last Year
  • Delete event: 5
  • Push event: 10
  • Create event: 1

Committers

Last synced: 7 months ago

All Time
  • Total Commits: 101
  • Total Committers: 1
  • Avg Commits per committer: 101.0
  • Development Distribution Score (DDS): 0.0
Past Year
  • Commits: 23
  • Committers: 1
  • Avg Commits per committer: 23.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
Eduardo Correia s****1@g****m 101

Issues and Pull Requests

Last synced: 7 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