{"id":18494974,"url":"https://github.com/qaware/findfacts","last_synced_at":"2025-04-08T22:31:43.993Z","repository":{"id":52683184,"uuid":"212800332","full_name":"qaware/findfacts","owner":"qaware","description":"Project to make isabelle and the AFP easily searchable.","archived":false,"fork":false,"pushed_at":"2021-04-21T08:25:53.000Z","size":3830,"stargazers_count":8,"open_issues_count":0,"forks_count":2,"subscribers_count":7,"default_branch":"master","last_synced_at":"2025-03-23T19:11:15.541Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Scala","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/qaware.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}},"created_at":"2019-10-04T11:33:40.000Z","updated_at":"2024-11-29T08:18:50.000Z","dependencies_parsed_at":"2022-08-22T06:00:46.844Z","dependency_job_id":null,"html_url":"https://github.com/qaware/findfacts","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaware%2Ffindfacts","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaware%2Ffindfacts/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaware%2Ffindfacts/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaware%2Ffindfacts/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/qaware","download_url":"https://codeload.github.com/qaware/findfacts/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247940408,"owners_count":21021960,"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":[],"created_at":"2024-11-06T13:22:57.113Z","updated_at":"2025-04-08T22:31:38.982Z","avatar_url":"https://github.com/qaware.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003cp align=\"center\"\u003e\n  \u003cimg title=\"FindFacts\" src=\"search-webapp/public/images/android-chrome-384x384.png\" width=\"200px\" /\u003e\n\u003c/p\u003e\n\n[![CircleCI](https://circleci.com/gh/qaware/findfacts/tree/master.svg?style=svg)](https://circleci.com/gh/qaware/findfacts/tree/master)\n\n# findfacts\nProject to make Isabelle and the AFP easily searchable. Structured in:\n- **common**: common modules\n- **search**: search application, with core module (**search-core**), web application (**search-webapp**), and frontend ui (**search-webapp-ui**).\n- **importer**: importer pipeline to import Isabelle `dump` into search index\n\n## Usage\n- Requirements: `java 15`\n- Build: `./sbt -Dprofiles=ui,loader clean compile test it:test`\n- Preparation: Initialize git submodules (`git submodule init \u0026\u0026 git submodule update`)\n\n### Importer tool\nGenerally:\n```shell\n./sbt \"project importer-isabelle\" \"run \u003cOPTIONS\u003e\"\n```\nUse `-?` to get information about the tool usage.\nExample invocation:\n```shell\n./sbt \"project importer-isabelle\" \"run -r localhost:8983 -i 2021_Isabelle2021_AFP2021 -a dump/\" \n``` \n[Isabelle settings](.isabelle/etc/settings): Increase memory a bit: `-Xss16m` `-Xmx8g`\n\n### Search webapp\nRun:\n```shell\n./sbt \"project search-webapp\" run\n```\n\nBuild and publish docker image:\n```shell\n./sbt \"project search-webapp\" \"docker:publish\"\n```\n\nFor deployment, see the [deployment repo](https://github.com/qaware/findfacts-deployment).\n\n## Code style\nThis project uses the [databricks style guide](https://github.com/databricks/scala-style-guide) with some changes:\n\n- __column width__: use 120.\n- __implicits__: Only avoid them outside of well-known patterns, such as type-classes, implicit context, and pimp-my-library.\n- __monadic chaining__: Use for-comprehensions to easily chain monads in an understandable and readable way.\n- __multiple parameter lists__: Use multiple parameter list for partially applicable functions or to improve type inference.\n\nFormatting is automated via scalafmt.\n\nThe `importer-isabelle` submodule instead adheres to the Isabelle code style.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fqaware%2Ffindfacts","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fqaware%2Ffindfacts","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fqaware%2Ffindfacts/lists"}