https://github.com/archisman-mridha/noq

Building an expression transformer in Rust. It is similar to Coq.
https://github.com/archisman-mridha/noq

expression-transformer rust tsoding-streams

Last synced: about 2 months ago
JSON representation

Building an expression transformer in Rust. It is similar to Coq.

• Host: GitHub
• URL: https://github.com/archisman-mridha/noq
• Owner: Archisman-Mridha
• Created: 2023-01-08T13:13:02.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2023-06-01T05:06:22.000Z (over 1 year ago)
• Last Synced: 2023-06-01T06:22:22.350Z (over 1 year ago)
• Topics: expression-transformer, rust, tsoding-streams
• Language: Rust
• Homepage: https://youtube.com/playlist?list=PLpM-Dvs8t0VZVE64QKPf6y_TIUwj5nKQ7
• Size: 14.6 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project