{"id":50566723,"url":"https://github.com/v--/v--","last_synced_at":"2026-06-04T15:30:40.419Z","repository":{"id":358332756,"uuid":"1240972801","full_name":"v--/v--","owner":"v--","description":null,"archived":false,"fork":false,"pushed_at":"2026-05-16T20:14:38.000Z","size":8,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"master","last_synced_at":"2026-05-16T22:10:46.591Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/v--.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"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-05-16T19:59:27.000Z","updated_at":"2026-05-16T20:14:42.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/v--/v--","commit_stats":null,"previous_names":["v--/v--"],"tags_count":null,"template":false,"template_full_name":null,"purl":"pkg:github/v--/v--","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/v--%2Fv--","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/v--%2Fv--/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/v--%2Fv--/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/v--%2Fv--/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/v--","download_url":"https://codeload.github.com/v--/v--/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/v--%2Fv--/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":33912317,"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-04T02:00:06.755Z","response_time":64,"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":[],"created_at":"2026-06-04T15:30:39.363Z","updated_at":"2026-06-04T15:30:40.411Z","avatar_url":"https://github.com/v--.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# Welcome\n\nI used to be a developer. I still do some programming for personal purposes.\n\n## Utilities\n\nI have written several utilities for myself and have deemed some of them good enough to publish online:\n\n* A DjVu to PDF converter called [`dpsprep`](https://github.com/kcroker/dpsprep) (not initially my own, but I am the sole maintainer after my rewrite).\n* My take at extended file attributes called [`viat`](https://github.com/v--/viat) (**vi**rtual **at**tributes).\n* My `dmenu` twist called [`searchtool-gtk`](https://github.com/v--/searchtool-gtk).\n* A TeX-to-unicode input method helper called [`unicodeit-gtk`](https://github.com/v--/unicodeit-gtk).\n\n## Notes\n\nI have published some notes related to mathematics:\n\n* My personal [`notebook`](https://github.com/v--/notebook) contains mostly math and algorithmic code, but also has some tools for working with LaTeX and BibLaTeX. At some point big text documents start requiring customized tools.\n* Some folks from Bulgaria find my state examination note repository [`se2018`](https://github.com/v--/se2018) useful.\n\n## Demos\n\nI have also published a few repositories for demonstrative purposes:\n\n* For my [website](https://ivasilev.net) ([repository](https://github.com/v--/website)), I have implemented some things that are usually handled by libraries - observables, reactive rendering, type-based schemas, abstract rich text, etc. It was a useful learning experience and I believe the code is concise enough to be useful as a reference.\n* I have shared some Jupyter notebooks in a repository called [`244`](https://github.com/v--/244) (the name is a UNIX permission pun).\n* After digitizing several books, my process evolved into what I describe in the [`digitization-demo`](https://github.com/v--/digitization-demo) repository.\n* In a university course on mathematical modeling, I created a simulation for neural impulses called [`neuronsim`](https://github.com/v--/neuronsim).\n\n## Unmaintained\n\nFinally, the following are obsolete (for me) and thus unmaintained:\n\n\u003e [!NOTE]\n\u003e I still accept pull requests and, if necessary, I can do a small fix.\n\n* A X11 focus toggling tool called [`wintoggle`](https://github.com/v--/wintoggle).\n* A library called [`subscribed`](https://github.com/v--/subscribed) that I developed for my `neuronsim` simulation. Ironically, I rewrote both since their inception in 2015 and now they are independent.\n\n## The peculiar case of my username\n\nI chose my GitHub handle, `v--`, after trying a few other short strings in late 2013. It has since then become invalid.\n\nI don't care enough to change it, however I will describe how my username mostly prevents me from using GitHub Pages. To quote [RFC 952](https://www.rfc-editor.org/rfc/rfc952):\n\n\u003e The last character [of a host name] must not be a minus sign or period.\n\nThus, `v--.github.io/\u003cproject-name\u003e` is technically invalid. Nevertheless, for some older (pre-2016) repositories, GitHub allows me to use Pages - see \u003chttps://v--.github.io/subscribed/\u003e. The same possibly holds for the [GitHub container registry](https://ghcr.io) (although I have no intention to try).\n\n\u003e [!NOTE]\n\u003e GitHub Pages is undoubtedly useful for project documentation, but even in my limited experience, it requires more manual setup compared to, say, [Read the Docs](https://readthedocs.com), which even provides some niceties like multiple documentation versions out-of-the-box.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fv--%2Fv--","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fv--%2Fv--","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fv--%2Fv--/lists"}