Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/jswrenn/safer-transmutation-redex

Last synced: about 1 month ago
JSON representation

Host: GitHub
URL: https://github.com/jswrenn/safer-transmutation-redex
Owner: jswrenn
Created: 2020-09-16T21:53:40.000Z (over 4 years ago)
Default Branch: main
Last Pushed: 2020-09-30T21:04:07.000Z (about 4 years ago)
Last Synced: 2024-10-14T16:47:26.360Z (3 months ago)
Language: Racket
Size: 17.6 KB
Stars: 1
Watchers: 4
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        # Safer Transmutation Redex

**Work-In-Progress**

A [Redex](https://plt.eecs.northwestern.edu/snapshots/current/doc/redex/index.html) model of [Safer Transmutation](https://github.com/rust-lang/rfcs/pull/2981).

[Discuss on Zulip.](https://rust-lang.zulipchat.com/#narrow/stream/216762-project-safe-transmute/topic/Modeling.20Transmutability)