{"id":51188747,"url":"https://github.com/publications-org/papers","last_synced_at":"2026-06-27T13:00:32.919Z","repository":{"id":338973394,"uuid":"1159931871","full_name":"publications-org/papers","owner":"publications-org","description":"Open Access Publications on Mathematics and Computer Science (https://amlal.nekernel.org)","archived":false,"fork":false,"pushed_at":"2026-06-21T00:10:40.000Z","size":1143,"stargazers_count":6,"open_issues_count":0,"forks_count":1,"subscribers_count":1,"default_branch":"master","last_synced_at":"2026-06-21T02:06:27.007Z","etag":null,"topics":["cs","lean","math","papers","publications"],"latest_commit_sha":null,"homepage":"https://amlal.nekernel.org","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/publications-org.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-02-17T10:42:06.000Z","updated_at":"2026-06-21T00:10:43.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/publications-org/papers","commit_stats":null,"previous_names":["amlel-el-mahrouss/paper-notes","amlel-el-mahrouss/notes-for-x","amlel-el-mahrouss/papers-and-slides","amlel-el-mahrouss/notebook","amlel-el-mahrouss/book","amlel-el-mahrouss/awb","amlal-nekernel-org/papers","publications-org/papers"],"tags_count":22,"template":false,"template_full_name":null,"purl":"pkg:github/publications-org/papers","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/publications-org%2Fpapers","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/publications-org%2Fpapers/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/publications-org%2Fpapers/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/publications-org%2Fpapers/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/publications-org","download_url":"https://codeload.github.com/publications-org/papers/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/publications-org%2Fpapers/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34854180,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-27T02:00:06.362Z","response_time":126,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["cs","lean","math","papers","publications"],"created_at":"2026-06-27T13:00:27.156Z","updated_at":"2026-06-27T13:00:32.913Z","avatar_url":"https://github.com/publications-org.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Publications at: amlal.nekernel.org\n\nThe TeX sources of Amlal El Mahrouss's papers. Citations and proofs included.\n\n## Contents:\n\nThe repository is currently organized as stated below:\n\n* On Glossary.\n* On Proofs.\n* On Theorems.\n* An In-Between Proof Before Algebraic Concepts.\n* On Algebra.\n* On Distributed Systems.\n* On Plots.\n\n## Similar Works:\n\n* https://github.com/amlal-nekernel-org/talks\n* https://github.com/open-cpp-libraries/src\n\n## How to access the documents:\n\nSimply do the following:\n`https://amlal.nekernel.org/poi/\u003cdocument_name_without_ext\u003e`.\n\n## Credits:\n\n- Thanks to the people I contacted who took time to proof-read the work, it really means a lot.\n- Citation files are available in the sources as well.\n\n## Citing:\n\nWhen using the work, please cite it using what's inside the CITATION.cff.\n\n##### Copyright (C) Amlal El Mahrouss 2025-2026, all rights reserved, licensed under the Apache License 2.0, see LICENSE.txt\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpublications-org%2Fpapers","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpublications-org%2Fpapers","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpublications-org%2Fpapers/lists"}