{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"expropt","owner":"asyncvlsi","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:30:53.941Z"}},{"type":"Public","name":"actflow","owner":"asyncvlsi","isFork":false,"description":"Top-level repository for the ACT EDA flow","topicNames":["asynchronous","eda","cad","vlsi","act","asynchronous-circuits","asynchronous-vlsi","self-timed"],"topicsNotShown":0,"allTopics":["asynchronous","eda","cad","vlsi","act","asynchronous-circuits","asynchronous-vlsi","self-timed"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":1,"starsCount":16,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T11:11:04.830Z"}},{"type":"Public","name":"xyce_build","owner":"asyncvlsi","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T12:54:01.399Z"}},{"type":"Public","name":"act","owner":"asyncvlsi","isFork":false,"description":"ACT hardware description language and core tools.","topicNames":["eda","circuit-simulator","cad","dataflow","chp","dataflow-programming","prs","hdl","vlsi","production-rules"],"topicsNotShown":7,"allTopics":["eda","circuit-simulator","cad","dataflow","chp","dataflow-programming","prs","hdl","vlsi","production-rules","design-automation","asynchronous-circuits","vlsi-cad","asynchronous-vlsi","communicating-hardware-processes","language","hardware-description-language"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":0,"starsCount":93,"forksCount":22,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T18:26:22.291Z"}},{"type":"Public","name":"actsim","owner":"asyncvlsi","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":7,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T11:20:41.303Z"}},{"type":"Public","name":"chp2prs","owner":"asyncvlsi","isFork":false,"description":"Automated conversion from CHP to PRS using syntax-directed translation","topicNames":["eda","logic-synthesis","logic-design","asynchronous-vlsi"],"topicsNotShown":0,"allTopics":["eda","logic-synthesis","logic-design","asynchronous-vlsi"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":4,"starsCount":7,"forksCount":5,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-05T20:27:05.050Z"}},{"type":"Public","name":"dflowmap","owner":"asyncvlsi","isFork":false,"description":"Convert ACT dataflow to simulatable ACT CHP","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T10:46:53.178Z"}},{"type":"Public","name":"interact","owner":"asyncvlsi","isFork":false,"description":"Command-line design environment for asynchronous logic","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-31T18:21:07.233Z"}},{"type":"Public","name":"sky130l","owner":"asyncvlsi","isFork":false,"description":"ACT configuration files for Skywater 130nm using teaching-friendly lambda rules","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-31T17:35:31.727Z"}},{"type":"Public","name":"magic","owner":"asyncvlsi","isFork":true,"description":"Magic VLSI Layout Tool","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":96,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T14:32:15.777Z"}},{"type":"Public","name":"stdlib","owner":"asyncvlsi","isFork":false,"description":"ACT standard library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":1,"issueCount":0,"starsCount":6,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-20T17:29:48.939Z"}},{"type":"Public","name":"layout","owner":"asyncvlsi","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-31T23:48:58.102Z"}},{"type":"Public","name":"xcell","owner":"asyncvlsi","isFork":false,"description":"Cell library characterizer","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-27T17:26:29.072Z"}},{"type":"Public","name":"Xyce","owner":"asyncvlsi","isFork":true,"description":"The Xyce™ Parallel Electronic Simulator","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":60,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-25T14:37:34.299Z"}},{"type":"Public","name":"utils","owner":"asyncvlsi","isFork":false,"description":"Miscellaneous scripts/utilities to be used with the ACT flow","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-08T05:38:09.278Z"}},{"type":"Public","name":"actpass","owner":"asyncvlsi","isFork":false,"description":"Example template for a dynamically loaded analysis/transformation pass for ACT","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-14T15:09:02.258Z"}},{"type":"Public","name":"Dali","owner":"asyncvlsi","isFork":false,"description":"A gridded cell placer","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-31T02:33:16.108Z"}},{"type":"Public","name":"abc","owner":"asyncvlsi","isFork":true,"description":"ABC: System for Sequential Logic Synthesis and Formal Verification","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":509,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-18T17:16:57.807Z"}},{"type":"Public","name":"TritonRoute-WXL","owner":"asyncvlsi","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":7,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-16T18:09:19.956Z"}},{"type":"Public","name":"phyDB","owner":"asyncvlsi","isFork":false,"description":"Library that holds the physical database","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-16T04:32:21.080Z"}},{"type":"Public","name":"SPRoute","owner":"asyncvlsi","isFork":false,"description":"A parallel global router using the Galois framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":25,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-05T08:09:20.415Z"}},{"type":"Public","name":"ocaml_act","owner":"asyncvlsi","isFork":false,"description":"OCaml front-end for ACT","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-01T17:25:39.918Z"}},{"type":"Public","name":"tracelib","owner":"asyncvlsi","isFork":false,"description":"Trace file library interface for creating simulation traces in a range of formats","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-14T00:59:50.993Z"}},{"type":"Public","name":"PWRoute","owner":"asyncvlsi","isFork":false,"description":"Power and ground routing","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-02T18:37:04.096Z"}},{"type":"Public","name":"prs2fpga","owner":"asyncvlsi","isFork":false,"description":"Translate production rules into Verilog for accelerated simulation on FPGAs","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-10T18:31:13.484Z"}},{"type":"Public","name":"dflow2dot","owner":"asyncvlsi","isFork":false,"description":"Visualize an ACT dataflow graph","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-02T00:01:17.951Z"}},{"type":"Public","name":"irsim","owner":"asyncvlsi","isFork":true,"description":"IRSIM switch-level simulator for digital circuits","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-28T10:53:30.319Z"}},{"type":"Public","name":"BiPart","owner":"asyncvlsi","isFork":false,"description":"Parallel hypergraph partitioner","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-14T21:34:13.501Z"}},{"type":"Public","name":"summer2022","owner":"asyncvlsi","isFork":false,"description":"Summer School Week 1 & 2 repo","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-01T18:26:56.723Z"}},{"type":"Public","name":"ACT-editor","owner":"asyncvlsi","isFork":false,"description":"Eclipse environment for ACT","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-29T21:10:03.756Z"}}],"repositoryCount":32,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}