cps

A formalization of continuation-passing style calculi in Coq [WIP] (by takanuva)

Cps Alternatives

Similar projects and alternatives to cps

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

cps reviews and mentions

Posts with mentions or reviews of cps. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-10-06.
  • lambda-8cc: An x86 C compiler written in untyped lambda calculus
    7 projects | /r/programming | 6 Oct 2022
    I have been working with the calculus of continuations, mostly formalizing its metatheory (my results so far are on GitHub). It is a calculus that relates to compiler IRs in the same way that the lambda calculus relates to functional languages. I have not yet released my interpreter (I'm currently working on it!), and I hope to finish my paper for next POPL. But I'll be sure to send you an e-mail once I am able to test the CPS translated compiler. Also, please DM me if you'd like to see some early research notes on that.

Stats

Basic cps repo stats
1
24
9.5
about 1 month ago

takanuva/cps is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of cps is Coq.

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