Data

Tools

Indexes

Applications

Experiments

Open Source Science

alexpeits.github.io

My personal blog

https://github.com/alexpeits/alexpeits.github.io

Science Score: 31.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
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Committers with academic emails
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (1.8%) to scientific vocabulary

Keywords from Contributors

interactive mesh interpretability profiles sequences generic projection standardization optim embedded
Last synced: 11 months ago · JSON representation ·

Repository

My personal blog

Basic Info
  • Host: GitHub
  • Owner: alexpeits
  • License: bsd-3-clause
  • Language: Haskell
  • Default Branch: develop
  • Homepage: https://alexpeits.github.io
  • Size: 8.75 MB
Statistics
  • Stars: 1
  • Watchers: 1
  • Forks: 0
  • Open Issues: 8
  • Releases: 0
Created almost 10 years ago · Last pushed over 3 years ago
Metadata Files
Readme License Citation

README.md

alexpeits.github.io

Build Status

Owner

  • Name: Alex Peitsinis
  • Login: alexpeits
  • Kind: user
  • Location: London, UK

Software worker

Citation (citations/stitch.bib) 

@inproceedings{eisenberg-2020-stitch,
  author =       {Eisenberg, Richard A.},
  title =        {Stitch: The Sound Type-Indexed Type Checker (Functional
                  Pearl)},
  booktitle =    {Proceedings of the 13th ACM SIGPLAN International Symposium on
                  Haskell},
  year =         2020,
  pages =        {39-53},
  doi =          {10.1145/3406088.3409015},
  url =          {https://doi.org/10.1145/3406088.3409015},
  abstract =     {A classic example of the power of generalized algebraic
                  datatypes (GADTs) to verify a delicate implementation is the
                  type-indexed expression AST. This functional pearl refreshes
                  this example, casting it in modern Haskell using many of GHC's
                  bells and whistles. The Stitch interpreter is a full
                  executable interpreter, with a parser, type checker,
                  common-subexpression elimination, and a REPL. Making heavy use
                  of GADTs and type indices, the Stitch implementation is clean
                  Haskell code and serves as an existence proof that Haskell's
                  type system is advanced enough for the use of fancy types in a
                  practical setting. The paper focuses on guiding the reader
                  through these advanced topics, enabling them to adopt the
                  techniques demonstrated here.},
  address =      {New York, NY, USA},
  isbn =         9781450380508,
  keywords =     {Haskell, fancy types, GADTs},
  location =     {Virtual Event, USA},
  numpages =     15,
  publisher =    {Association for Computing Machinery},
  series =       {Haskell 2020},
}

GitHub Events

Total
  • Watch event: 1
Last Year
  • Watch event: 1

Committers

Last synced: about 1 year ago

All Time
  • Total Commits: 288
  • Total Committers: 4
  • Avg Commits per committer: 72.0
  • Development Distribution Score (DDS): 0.149
Past Year
  • Commits: 0
  • Committers: 0
  • Avg Commits per committer: 0.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
Alexandros Peitsinis a****s@g****m 245
dependabot[bot] 4****] 27
Alex Peitsinis a****s@h****m 10
Alexandros Peitsinis p****s@v****m 6
Committer Domains (Top 20 + Academic)
vermantia.com: 1 habito.com: 1

Issues and Pull Requests

Last synced: about 1 year ago

All Time
  • Total issues: 0
  • Total pull requests: 85
  • Average time to close issues: N/A
  • Average time to close pull requests: about 1 month
  • Total issue authors: 0
  • Total pull request authors: 2
  • Average comments per issue: 0
  • Average comments per pull request: 0.42
  • Merged pull requests: 37
  • Bot issues: 0
  • Bot pull requests: 79
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
  • dependabot[bot] (66)
  • alexpeits (6)
Top Labels
Issue Labels
Pull Request Labels
dependencies (66) github_actions (56) javascript (7)

Dependencies

peits.cabal hackage
  • aeson >=1.5.5 && <1.6
  • base >=4.14.1 && <4.15
  • bytestring >=0.10.12 && <0.11
  • containers >=0.6.2 && <0.7
  • cryptonite ==0.27.*
  • megaparsec >=9.0.1 && <9.1
  • mtl >=2.2.2 && <2.3
  • network-uri >=2.6.4 && <2.7
  • pandoc >=2.11.4 && <2.12
  • pandoc-types ==1.22.*
  • parser-combinators >=1.2.1 && <1.3
  • process >=1.6.9 && <1.7
  • shake >=0.19.4 && <0.20
  • stache >=2.2.0 && <2.3
  • string-interpolate >=0.3.0 && <0.4
  • text >=1.2.4 && <1.3
  • time >=1.9.3 && <1.10
  • unordered-containers >=0.2.13 && <0.3
  • vector >=0.12.2 && <0.13
  • yaml >=0.11.5 && <0.12
package.json npm
  • browser-sync ^2.26.14 development
  • markdown-link-check ^3.8.6 development
  • markdownlint-cli ^0.27.1 development
yarn.lock npm
  • 259 dependencies
.github/workflows/build_and_deploy.yml actions
  • JamesIves/github-pages-deploy-action v4.4.0 composite
  • actions/checkout v3.0.2 composite
  • avto-dev/markdown-lint v1.5.0 composite
  • cachix/cachix-action v10 composite
  • cachix/install-nix-action v17 composite
  • gaurav-nelson/github-action-markdown-link-check 1.0.14 composite