Cps Alternatives
Similar projects and alternatives to cps
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
gameboy-brainfuck
Implementation of a brainfuck interpreter written for the Game Boy.
-
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
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.
Popular Comparisons
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com