Coeffect Alternatives

Similar projects and alternatives to Coeffect

black

322 37,376 9.4 Python Coeffect VS black

The uncompromising Python code formatter
manifold

79 2,218 9.3 Java Coeffect VS manifold

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
KEEP

61 3,286 5.4 Markdown Coeffect VS KEEP

Kotlin Evolution and Enhancement Process
Error Prone

16 6,724 9.4 Java Coeffect VS Error Prone

Catch common Java mistakes as compile-time errors
effects-bibliography

5 909 7.2 Coeffect VS effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects
PipelinR

1 375 0.0 Java Coeffect VS PipelinR

PipelinR is a lightweight command processing pipeline ❍ ⇢ ❍ ⇢ ❍ for your Java awesome app.

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

Suggest an alternative to Coeffect

Coeffect reviews and mentions

Posts with mentions or reviews of Coeffect. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-03.

How to create annotatino to restrict use of functions, similarly to `@Compose`
1 project | /r/Kotlin | 3 Jun 2023

I created this exact plugin for Java (currently it is not ready for production because it uses preview features for Java's concurrency): https://github.com/Holo314/Coeffect
“Don’t listen to language designers”
3 projects | /r/ProgrammingLanguages | 3 Mar 2023

I implemented a Coeffect system into Java, and encounter a problem with the 4th type system of Java (yes, there are 4 separate type systems in Java), the annotations type system. For the exact problem see this section. There are walk arounds, but they boil down to implement generics on the annotation level, which is a huge amount of work and I didn't have the time to implement it yet (and it doesn't help that ExtentValues weren't on the main branch when I made it, and they are still incubator now, with a different name)
Indentation limbo
2 projects | /r/ProgrammerHumor | 15 Feb 2023

I am not really active on public domain (all of my work is on private domain), but See this for example.
Why is `suspend` a language keyword, but @Composable and @Serializable are annotations
3 projects | /r/Kotlin | 8 Oct 2022

I am all in favour to more third side libraries adding functionalities, like Lombok, Manifold and error prone. As well as smaller projects like this shameless plug and what appears in this list
Better Java logging, inspired by Clojure and Rust
2 projects | /r/java | 27 Sep 2022

For Coeffects there is much less available material and most of it is much more mathematical heavy, but you can try to read about it here. I'll also have a shameless plug of my Java plugin that adds implicit parameter Coeffect into Java's type system
Adding Coeffect System to Java with Project Loom
2 projects | /r/java | 10 Aug 2022

Using the fact that ExtentLocals have a structured lifetime, I created a Coeffect Type System using Java Compiler Plugin. I would love some feedback

1 project | /r/ProgrammingLanguages | 10 Aug 2022
A note from our sponsor - WorkOS
workos.com | 30 Apr 2024

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →