https://github.com/bamless/jstar-rs

Rust bindings for the J* language API
https://github.com/bamless/jstar-rs

Last synced: 18 days ago
JSON representation

Rust bindings for the J* language API

• Host: GitHub
• URL: https://github.com/bamless/jstar-rs
• Owner: bamless
• License: mit
• Created: 2023-07-16T20:33:44.000Z (almost 3 years ago)
• Default Branch: master
• Last Pushed: 2026-04-05T08:32:35.000Z (3 months ago)
• Last Synced: 2026-04-05T10:12:51.681Z (3 months ago)
• Language: Rust
• Size: 121 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# jstar-rs

Rust bindings to the J* language API.  

Still a work in progress...