{"id":17250661,"url":"https://github.com/statusfailed/rda","last_synced_at":"2025-04-14T05:17:55.602Z","repository":{"id":145120102,"uuid":"236638265","full_name":"statusfailed/rda","owner":"statusfailed","description":null,"archived":false,"fork":false,"pushed_at":"2022-11-15T18:43:59.000Z","size":39,"stargazers_count":4,"open_issues_count":0,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-04-14T05:17:53.568Z","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":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/statusfailed.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2020-01-28T01:59:47.000Z","updated_at":"2023-02-16T08:33:43.000Z","dependencies_parsed_at":null,"dependency_job_id":"a5baacb6-48c9-49bb-99a6-1179d37b058b","html_url":"https://github.com/statusfailed/rda","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/statusfailed%2Frda","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/statusfailed%2Frda/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/statusfailed%2Frda/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/statusfailed%2Frda/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/statusfailed","download_url":"https://codeload.github.com/statusfailed/rda/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248824694,"owners_count":21167345,"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-10-15T06:49:16.511Z","updated_at":"2025-04-14T05:17:55.594Z","avatar_url":"https://github.com/statusfailed.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Reverse Derivative Ascent\n\nA library for training circuit models as in the paper\n[Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits][paper]\n\n[paper]: http://catgrad.com/p/reverse-derivative-ascent/paper.pdf\n\nThis library provides three main things:\n\n* A type-safe, `Integer`-backed implementation of Bitvectors\n* Some tools for compositionally building circuit models as in\n  our [reverse derivative ascent] paper (including computing their reverse\n  derivative)\n* A brute-force implementation of the reverse derivative, which computes the\n  same results as the compositional one, but slower.\n\n# User Guide\n\nFor now, see the project [act-2020-experiments](https://github.com/statusfailed/act-2020-experiments),\nwhich gives a couple example applications: we build a model on the\n[Iris dataset](http://archive.ics.uci.edu/ml/datasets/Iris/),\nand on a subset of [MNIST](http://yann.lecun.com/exdb/mnist/).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstatusfailed%2Frda","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fstatusfailed%2Frda","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstatusfailed%2Frda/lists"}