https://github.com/hyouteki/sock

A simple language meant for transforming mathematical expressions inspired by Coq and Noq.
https://github.com/hyouteki/sock

cpp expression-transformer

Last synced: 19 days ago
JSON representation

A simple language meant for transforming mathematical expressions inspired by Coq and Noq.

• Host: GitHub
• URL: https://github.com/hyouteki/sock
• Owner: hyouteki
• License: mit
• Created: 2023-11-05T14:21:13.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-11-11T14:10:05.000Z (12 months ago)
• Last Synced: 2024-10-05T23:41:41.821Z (about 1 month ago)
• Topics: cpp, expression-transformer
• Language: C++
• Homepage: https://github.com/hyouteki/sock/wiki
• Size: 2.05 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
**sock** is a simple language meant for transforming mathematical expressions inspired by [Coq](https://github.com/coq/coq) and [Noq](https://github.com/tsoding/Noq).

> **Important**

> For more information refer [wiki](https://github.com/Hyouteki/sock/wiki)

## Quick Start

``` console

make build

make run

```

## Courtesy

- Coq: https://coq.inria.fr/

- Idea & References: https://youtu.be/Ra_Fk7JFMoo?si=sf2TsCZcul6yRGd_