Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / yihozhang/egglang issues and pull requests

#11 - Proofs

Pull Request - State: open - Opened by yihozhang about 1 year ago

#10 - support custom names in rules

Pull Request - State: closed - Opened by yihozhang over 1 year ago

#9 - Terms and proofs

Pull Request - State: closed - Opened by yihozhang over 1 year ago

#8 - Support primitives in query and actions

Issue - State: closed - Opened by yihozhang over 1 year ago

#7 - Rethink module systems and schedules

Issue - State: open - Opened by yihozhang over 1 year ago

#6 - Support containers

Issue - State: open - Opened by yihozhang over 1 year ago

#5 - Add a Rust backend for execution

Issue - State: open - Opened by yihozhang over 1 year ago

#4 - Support back-off scheduler

Issue - State: open - Opened by yihozhang over 1 year ago

#3 - Support extraction

Issue - State: open - Opened by yihozhang over 1 year ago

#2 - Support semi-naive evaluation

Issue - State: open - Opened by yihozhang over 1 year ago

#1 - Support type checking and boundedness check

Issue - State: open - Opened by yihozhang over 1 year ago