{"id":19051943,"url":"https://github.com/benknoble/formallang","last_synced_at":"2025-10-17T18:21:00.102Z","repository":{"id":70217094,"uuid":"234816531","full_name":"benknoble/formallang","owner":"benknoble","description":"Formal languages in Clojure","archived":false,"fork":false,"pushed_at":"2020-02-18T18:04:28.000Z","size":20,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-02T10:25:47.605Z","etag":null,"topics":["cfg","clojure","dfa","formal-languages"],"latest_commit_sha":null,"homepage":null,"language":"Clojure","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/benknoble.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}},"created_at":"2020-01-19T00:25:29.000Z","updated_at":"2020-02-18T18:04:30.000Z","dependencies_parsed_at":"2023-03-11T00:30:15.822Z","dependency_job_id":null,"html_url":"https://github.com/benknoble/formallang","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/benknoble%2Fformallang","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/benknoble%2Fformallang/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/benknoble%2Fformallang/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/benknoble%2Fformallang/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/benknoble","download_url":"https://codeload.github.com/benknoble/formallang/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240109567,"owners_count":19749171,"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":["cfg","clojure","dfa","formal-languages"],"created_at":"2024-11-08T23:20:15.278Z","updated_at":"2025-10-17T18:20:55.071Z","avatar_url":"https://github.com/benknoble.png","language":"Clojure","funding_links":[],"categories":[],"sub_categories":[],"readme":"# formallang\n\n[![This project is considered experimental](https://img.shields.io/badge/status-experimental-critical.svg)](https://benknoble.github.io/status/experimental/)\n\nA formal-languages library for Clojure.\n\n## Features\n\n- Deterministic Finite Automata (DFA)\n\n**Coming soon**\n- Regular expressions (via NFA)\n- Context-free grammars\n\n## Getting Started\n\ndeps.edn:\n\n```clojure\n{:deps\n {github-benknoble/formallang\n  {:git/url \"https://github.com/benknoble/formallang\"\n   :tag \"v1.0.0\"}}}\n```\n\nThen execute `clojure -Sresolve-tags` to update the `:sha` from `:tag`.\n\n---\n\nOriginally built to support a regular-expression/context-free grammar\ncounter-example system (codename: wrongex, **coming soon**). See also [CS:\nGenerating property-based\ncounter-examples](https://cs.stackexchange.com/q/119661/61762)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbenknoble%2Fformallang","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbenknoble%2Fformallang","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbenknoble%2Fformallang/lists"}