{"id":22702989,"url":"https://github.com/liesnikov/extensible-elaborator","last_synced_at":"2025-08-07T09:32:29.014Z","repository":{"id":146058317,"uuid":"516754099","full_name":"liesnikov/extensible-elaborator","owner":"liesnikov","description":"prototype implementation of a dependently-typed language with an extendable constraints and accompanying materials","archived":false,"fork":false,"pushed_at":"2024-03-22T15:29:00.000Z","size":36622,"stargazers_count":3,"open_issues_count":2,"forks_count":1,"subscribers_count":2,"default_branch":"elaborator-experiments","last_synced_at":"2024-03-22T16:55:52.165Z","etag":null,"topics":["dependent-types","elaboration","haskell","programming-language","prototype"],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/liesnikov.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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}},"created_at":"2022-07-22T13:07:24.000Z","updated_at":"2023-12-04T00:32:03.000Z","dependencies_parsed_at":"2023-06-08T20:15:48.172Z","dependency_job_id":"1c854491-1a68-438f-8551-f653e3634be0","html_url":"https://github.com/liesnikov/extensible-elaborator","commit_stats":null,"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liesnikov%2Fextensible-elaborator","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liesnikov%2Fextensible-elaborator/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liesnikov%2Fextensible-elaborator/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liesnikov%2Fextensible-elaborator/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/liesnikov","download_url":"https://codeload.github.com/liesnikov/extensible-elaborator/tar.gz/refs/heads/elaborator-experiments","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":229019357,"owners_count":18007169,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":["dependent-types","elaboration","haskell","programming-language","prototype"],"created_at":"2024-12-10T07:16:32.041Z","updated_at":"2024-12-10T07:16:32.757Z","avatar_url":"https://github.com/liesnikov.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# ExEl #\n\nThis is a study on the design of **ex**tensible **el**aborators for dependently-typed languages.\nThe gist of the idea is to allow extensiblity in the constraints datatypes and solvers.\n\n# Repository structure #\n\n* `abstract` contains markdown sources for the TYPES abstract submission\n* `exel` contains Haskell sources for the prototype implementation\n* `paper` contains text and illustration files for the paper\n* `slides` contains sources for the slides\n\n# Building #\n\nEverything in this repo is buildable with [nix](https://nixos.org), but can also be built with tools available.\nFor the LaTeX files you'll find dependencies listed in the `paper.nix`file (or `slides.nix`, `abstract.nix` respectively for each subfolder).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fliesnikov%2Fextensible-elaborator","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fliesnikov%2Fextensible-elaborator","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fliesnikov%2Fextensible-elaborator/lists"}