https://github.com/dcao/babble
Score: 5.164785973923514
Last synced: about 11 hours ago
JSON representation
Repository metadata:
library learning w egraphs
- Host: GitHub
- URL: https://github.com/dcao/babble
- Owner: dcao
- License: mit
- Created: 2021-02-19T09:06:12.000Z (over 5 years ago)
- Default Branch: main
- Last Pushed: 2023-05-31T02:15:05.000Z (over 3 years ago)
- Last Synced: 2026-10-17T08:16:48.712Z (8 days ago)
- Language: Rust
- Homepage:
- Size: 1.71 MB
- Stars: 32
- Watchers: 2
- Forks: 10
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Owner metadata:
- Name: david cao
- Login: dcao
- Email:
- Kind: user
- Description:
- Website: cao.sh
- Location:
- Twitter:
- Company: UC San Diego
- Icon url: https://avatars.githubusercontent.com/u/6006837?u=1ef45f811da36ca02084d9f07ce912e4e26b224e&v=4
- Repositories: 72
- Last Synced at: 2026-10-22T16:29:39.883Z
- Profile URL: https://github.com/dcao
GitHub Events
Total
- Fork event: 2
- Watch event: 6
- Total: 8
Last Year
- Watch event: 3
- Total: 3
Committers metadata
Last synced: 1 day ago
Total Commits: 348
Total Committers: 5
Avg Commits per committer: 69.6
Development Distribution Score (DDS): 0.629
Commits in past year: 0
Committers in past year: 0
Avg Commits per committer in past year: 0.0
Development Distribution Score (DDS) in past year: 0.0
| Name | Commits | |
|---|---|---|
| David Cao | d****d@c****h | 129 |
| Rose Kunkel | r****e@r****e | 124 |
| Nadia Polikarpova | n****a@g****m | 58 |
| Max Willsey | m****e@m****m | 19 |
| Chandrakana Nandi | c****0@g****m | 18 |
Issue and Pull Request metadata
Last synced: 1 day ago
Total issues: 6
Total pull requests: 19
Average time to close issues: 1 day
Average time to close pull requests: 7 days
Total issue authors: 5
Total pull request authors: 5
Average comments per issue: 1.0
Average comments per pull request: 0.0
Merged pull request: 16
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 1
Past year average time to close issues: N/A
Past year average time to close pull requests: less than a minute
Past year issue authors: 0
Past year pull request authors: 1
Past year average comments per issue: 0
Past year average comments per pull request: 0.0
Past year merged pull request: 0
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
- nadia-polikarpova (2)
- mwillsey (1)
- sgpthomas (1)
- rosekunkel (1)
- andregraubner (1)
Top Pull Request Authors
- chandrakananandi (11)
- nadia-polikarpova (4)
- rosekunkel (2)
- kavigupta (1)
- dcao (1)
Top Issue Labels
Top Pull Request Labels
Dependencies
- aho-corasick 0.7.18
- anyhow 1.0.58
- atty 0.2.14
- autocfg 1.1.0
- base64 0.13.0
- bitflags 1.3.2
- bstr 0.2.17
- byteorder 1.4.3
- cfg-if 1.0.0
- clap 3.2.8
- clap_derive 3.2.7
- clap_lex 0.2.4
- crossbeam-channel 0.5.5
- crossbeam-deque 0.8.1
- crossbeam-epoch 0.9.9
- crossbeam-utils 0.8.10
- cstr-enum 1.0.0
- cstr-enum-derive 0.1.0
- csv 1.1.6
- csv-core 0.1.10
- either 1.7.0
- env_logger 0.9.0
- fnv 1.0.7
- fxhash 0.2.1
- grb 1.3.0
- grb-macro 0.1.0
- grb-sys2 0.1.1
- hashbrown 0.11.2
- hashbrown 0.12.1
- heck 0.4.0
- hermit-abi 0.1.19
- humantime 2.1.0
- indexmap 1.9.1
- instant 0.1.12
- itertools 0.10.3
- itoa 0.4.8
- itoa 1.0.2
- lazy_static 1.4.0
- libc 0.2.126
- log 0.4.17
- memchr 2.5.0
- memoffset 0.6.5
- minimal-lexical 0.2.1
- nom 7.1.1
- num-traits 0.2.15
- num_cpus 1.13.1
- num_threads 0.1.6
- once_cell 1.12.1
- ordered-float 2.10.0
- os_str_bytes 6.1.0
- proc-macro-error 1.0.4
- proc-macro-error-attr 1.0.4
- proc-macro2 1.0.40
- quote 1.0.20
- rayon 1.5.3
- rayon-core 1.9.3
- ref-cast 1.0.7
- ref-cast-impl 1.0.7
- regex 1.5.6
- regex-automata 0.1.10
- regex-syntax 0.6.26
- ron 0.7.1
- ryu 1.0.10
- scopeguard 1.1.0
- serde 1.0.138
- serde_derive 1.0.138
- serde_json 1.0.82
- smallvec 1.9.0
- strsim 0.10.0
- symbolic_expressions 5.0.3
- syn 1.0.98
- termcolor 1.1.3
- textwrap 0.15.0
- thiserror 1.0.31
- thiserror-impl 1.0.31
- time 0.3.11
- unicode-ident 1.0.1
- vectorize 0.2.0
- version_check 0.9.4
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-util 0.1.5
- winapi-x86_64-pc-windows-gnu 0.4.0
- xml-rs 0.8.4
- cairocffi *
- matplotlib *
- numpy *
- pygobject *
- rich *
- cairocffi ==1.3.0
- cffi ==1.15.1
- commonmark ==0.9.1
- cycler ==0.11.0
- fonttools ==4.33.3
- kiwisolver ==1.4.3
- matplotlib ==3.5.2
- numpy ==1.23.0
- packaging ==21.3
- pillow ==9.1.1
- pycairo ==1.21.0
- pycparser ==2.21
- pygments ==2.12.0
- pygobject ==3.42.1
- pyparsing ==3.0.9
- python-dateutil ==2.8.2
- rich ==12.4.4
- six ==1.16.0
- actions/checkout v2 composite
- dtolnay/rust-toolchain stable composite