r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell. (by siraben)

R5rs-denot Alternatives

Similar projects and alternatives to r5rs-denot based on common topics and language

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better r5rs-denot alternative or higher similarity.

r5rs-denot reviews and mentions

Posts with mentions or reviews of r5rs-denot. We have used some of these posts to build our list of alternatives and similar projects.
  • Early Lisp Part II (Apply Redux)
    1 project | news.ycombinator.com | 5 Apr 2021
    The Scheme dialect of Lisp is perhaps my favorite for how small the core is (and hygienic macros are an elegant solution to avoiding accidental captures). The R5RS language report also specifies the formal denotational semantics of the language. But it's also more precise than McCarthy's presentation, the denotational semantics can be easily turned into a real, correct-by-construction interpreter[0].

    [0] https://github.com/siraben/r5rs-denot

Stats

Basic r5rs-denot repo stats
1
20
0.0
over 1 year ago

siraben/r5rs-denot is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of r5rs-denot is Haskell.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com