https://github.com/tobybenjaminclark/mpir

🌔 Enriching Literate Programming with Refinement Types. Transpiled, Maintainability-focused Programming Language made with ANSI-C & Python3.12
https://github.com/tobybenjaminclark/mpir

c compiler llvm transpiler

Last synced: 20 days ago
JSON representation

🌔 Enriching Literate Programming with Refinement Types. Transpiled, Maintainability-focused Programming Language made with ANSI-C & Python3.12

• Host: GitHub
• URL: https://github.com/tobybenjaminclark/mpir
• Owner: tobybenjaminclark
• Created: 2023-06-14T20:04:14.000Z (over 1 year ago)
• Default Branch: rust-rewrite
• Last Pushed: 2024-06-21T19:54:42.000Z (6 months ago)
• Last Synced: 2024-06-23T08:06:31.532Z (6 months ago)
• Topics: c, compiler, llvm, transpiler
• Language: Rust
• Homepage:
• Size: 88.2 MB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project