{"id":18451146,"url":"https://github.com/danluu/hydra","last_synced_at":"2025-04-19T13:56:51.689Z","repository":{"id":9036644,"uuid":"10798350","full_name":"danluu/hydra","owner":"danluu","description":"Fork of Hydra source","archived":false,"fork":false,"pushed_at":"2013-06-19T16:04:05.000Z","size":700,"stargazers_count":4,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-02-16T14:05:58.930Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/danluu.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":"COPYING","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2013-06-19T16:02:54.000Z","updated_at":"2021-09-08T08:36:16.000Z","dependencies_parsed_at":"2022-09-01T18:50:39.367Z","dependency_job_id":null,"html_url":"https://github.com/danluu/hydra","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/danluu%2Fhydra","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/danluu%2Fhydra/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/danluu%2Fhydra/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/danluu%2Fhydra/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/danluu","download_url":"https://codeload.github.com/danluu/hydra/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249488727,"owners_count":21280651,"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-06T07:27:42.149Z","updated_at":"2025-04-18T11:58:44.241Z","avatar_url":"https://github.com/danluu.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"\t   The Hydra Computer Hardware Description Language\n\t\t\t    John O'Donnell\n\t\t\tUniversity of Glasgow\n\nHydra is a Computer Hardware Description Language that supports the\ndesign of digital circuits and computer architectures.  It is based on\nthe functional programming language Haskell, and it includes software\ntools for circuit specification, simulation, and analysis, as well as\nsupport for mathematical reasoning about circuit behavior.  For more\ninformation, documentation, and related research papers, see the web\npage: www.dcs.gla.ac.uk/~jtod/\n\nCopyright (c) 2003 John O'Donnell.  See the COPYING file for the full\ncopyright.\n\nThe system is currently under development; some features are not\nsupported in this release.\n\nTo get started, read the first tutorial in doc/tutorials/Tutorial1.lhs\nand follow the instructions there.  The reference manual is being\nwritten; a draft can be found in doc/manual/HydraManual.ps\n\nFor instructions on installing the software, see\ndoc/installation/install-notes.txt\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdanluu%2Fhydra","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdanluu%2Fhydra","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdanluu%2Fhydra/lists"}