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: 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 (over 2 years ago)
- Default Branch: main
- Last Pushed: 2023-06-01T05:06:22.000Z (almost 2 years ago)
- Last Synced: 2025-01-26T17:36:43.490Z (4 months 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
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Noq
Building an expression transformer in Rust. It is similar to Coq.
> NOTE - I only caught up till the 2nd episode. After episode 2, he pushed updates to the sourcecode offstream. Currently, I don't have time to read and debug what code changes he did offstream 🙂 (starting from commit - https://github.com/tsoding/Noq/commit/45481d8fcaee82e6c84719aeda806ad7b5e18a8c).
## Credits
All credits go to [Alexey Kutepov](https://github.com/rexim). Noq is originally developed by him and you can watch him doing it here - https://youtube.com/playlist?list=PLpM-Dvs8t0VZVE64QKPf6y_TIUwj5nKQ7. I just followed this playlist, coding along with him.
I didn't make any enhancements on the transformation engine, though I made the *`sourcecode more readable`* by using more user friendly names and meaningful comments. Enjoy 😉!