{"id":16956420,"url":"https://github.com/bgamari/the-thoralf-plugin","last_synced_at":"2025-03-22T13:31:56.884Z","repository":{"id":44677951,"uuid":"136663084","full_name":"bgamari/the-thoralf-plugin","owner":"bgamari","description":"This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.","archived":false,"fork":false,"pushed_at":"2022-01-31T17:51:32.000Z","size":142,"stargazers_count":21,"open_issues_count":12,"forks_count":6,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-03-11T01:42:29.815Z","etag":null,"topics":["ghc","haskell","smt","typechecker-plugin"],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/bgamari.png","metadata":{"files":{"readme":"README.md","changelog":"ChangeLog.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2018-06-08T20:26:30.000Z","updated_at":"2024-11-28T01:48:53.000Z","dependencies_parsed_at":"2022-09-12T13:41:45.843Z","dependency_job_id":null,"html_url":"https://github.com/bgamari/the-thoralf-plugin","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bgamari%2Fthe-thoralf-plugin","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bgamari%2Fthe-thoralf-plugin/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bgamari%2Fthe-thoralf-plugin/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bgamari%2Fthe-thoralf-plugin/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/bgamari","download_url":"https://codeload.github.com/bgamari/the-thoralf-plugin/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":244216052,"owners_count":20417543,"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":["ghc","haskell","smt","typechecker-plugin"],"created_at":"2024-10-13T22:14:57.613Z","updated_at":"2025-03-22T13:31:56.593Z","avatar_url":"https://github.com/bgamari.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# the-thoralf-plugin\n\n[![Build Status](https://travis-ci.org/bgamari/the-thoralf-plugin.svg)](https://travis-ci.org/bgamari/the-thoralf-plugin)\n\nThis a type-checker plugin for type-indicies such as type level natural\nnumbers and type level finite maps.\n\n\n## Setup\n\nYou need\n\n * Stack\n * Z3 (the smt solver) version 4.5 and above.\n   - [The github repo has instructions](https://github.com/Z3Prover/z3)\n\nTo build simply\n\n```bash\n$ git clone git@github.com:Divesh-Otwani/the-thoralf-plugin.git\n$ cd the-thoralf-plugin\n$ stack install\n$ echo \"Now the example should load or run!\"\n$ stack ghci test/Main.hs\n\nLoaded GHCi configuration from /home/divesh/.ghc/ghci.conf\n[1 of 1] Compiling Main             ( test/Main.hs, interpreted )\nOk, 1 module loaded.\n*Main\u003e \n\n```\n\n\n## Usage\n\n * See [DOCUMENTATION.md](DOCUMENTATION.md) for how to extend thoralf\n   and make your own plugin with all of thoralf's theories and some new\n   ones you write.\n\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbgamari%2Fthe-thoralf-plugin","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbgamari%2Fthe-thoralf-plugin","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbgamari%2Fthe-thoralf-plugin/lists"}