https://github.com/mlabs-haskell/c2uplc

Code generator for UPLC from Covenant IR
https://github.com/mlabs-haskell/c2uplc

Last synced: 5 months ago
JSON representation

Code generator for UPLC from Covenant IR

• Host: GitHub
• URL: https://github.com/mlabs-haskell/c2uplc
• Owner: mlabs-haskell
• License: apache-2.0
• Created: 2025-10-05T22:54:55.000Z (9 months ago)
• Default Branch: main
• Last Pushed: 2025-12-12T05:18:45.000Z (6 months ago)
• Last Synced: 2025-12-13T13:49:32.798Z (6 months ago)
• Language: Nix
• Size: 73.2 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# `c2uplc`

# What is this?

A code generator for UPLC from Covenant IR.

# How do I use this?

# What do I need?

# License

`c2uplc` is licensed under Apache 2.0. Please see the `LICENSE` file for more

information. 

# References

* [Catalyst proposal for

  Covenant](https://projectcatalyst.io/funds/13/f13-cardano-open-developers/mlabs-static-analysis-with-covenant)