https://github.com/supersonichub1/gorr-language

A toy specification language designed for my high school's senior capstone project.
https://github.com/supersonichub1/gorr-language

design-document formal-methods formal-verification presentation presentation-slides specification specification-language

Last synced: 14 days ago
JSON representation

A toy specification language designed for my high school's senior capstone project.

• Host: GitHub
• URL: https://github.com/supersonichub1/gorr-language
• Owner: SuperSonicHub1
• License: cc-by-sa-4.0
• Created: 2023-08-14T02:51:26.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-08-14T03:51:10.000Z (over 1 year ago)
• Last Synced: 2024-04-14T03:13:30.803Z (10 months ago)
• Topics: design-document, formal-methods, formal-verification, presentation, presentation-slides, specification, specification-language
• Language: HTML
• Homepage: http://kawcco.com/gorr-language/
• Size: 14.9 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# gorr-language

A toy specification language designed for my high school's senior capstone project.

Researched and written from January to June 2023. Was one of ~20

people in my ~120-person class to be awarded distincition—basically honors—for my work.

* [Presentation](presentation/index.pdf)

	* I heavily regret not recording this, as I think it was the best

	presentaiton I've ever done. The full ODP presentation with speaker notes

	can be found in [`presentation/`](https://github.com/SuperSonicHub1/gorr-language/tree/master/presentation).

* [Portfolio](portfolio/index.html)

	* Proof to my advisor that I actually did something during the

	class. Contains a draft version of my specification

	and an abridged list of the ~10 papers I read for research.

* [Specification](spec/index.html)

	* The informal specification for Gorr, the language I created

	to demonstrate my ideas. It served its purpose during the 

	presentation, but I would likely start from scratch if I write my own

	speclang as its a little too imperative in some places and also

	has some awkward underspecified operator precedence issues.

	Still very proud of the fact that I was able to parse English

	using EBNF; I love the idea of using restricted forms of language

	to do computation.