eliminators

Dependently typed elimination functions using singletons (by RyanGlScott)

Eliminators Alternatives

Similar projects and alternatives to eliminators

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

eliminators reviews and mentions

Posts with mentions or reviews of eliminators. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning eliminators yet.
Tracking mentions began in Dec 2020.

Stats

Basic eliminators repo stats
0
28
3.1
3 months ago
ONLYOFFICE Docs — document collaboration in your environment
Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises
www.onlyoffice.com