https://github.com/rimrakhimov/reactor-cakeml

The repository contains an implementation of the reactive programming pattern using the CakeML programming language. The code has been implemented for the InnoChain project, and should be considered as my thesis work.
https://github.com/rimrakhimov/reactor-cakeml

Last synced: 26 days ago
JSON representation

The repository contains an implementation of the reactive programming pattern using the CakeML programming language. The code has been implemented for the InnoChain project, and should be considered as my thesis work.

• Host: GitHub
• URL: https://github.com/rimrakhimov/reactor-cakeml
• Owner: rimrakhimov
• Created: 2021-04-05T21:53:00.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-06-16T20:49:24.000Z (over 3 years ago)
• Last Synced: 2024-12-23T22:21:04.448Z (about 1 month ago)
• Language: Standard ML
• Homepage:
• Size: 312 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# reactor-cakeml

The repository contains an implementation of the reactive programming pattern using CakeML programming language