Type-experiments Alternatives

Similar projects and alternatives to type-experiments

manifold

79 2,218 9.3 Java type-experiments VS manifold

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

www.influxdata.com featured

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.

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

Suggest an alternative to type-experiments

type-experiments reviews and mentions

Posts with mentions or reviews of type-experiments. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-02-28.

Universal Domain Types
2 projects | news.ycombinator.com | 28 Feb 2024

> There will, of course, be instances where you must handle currency dynamically.
With dependent types, checking for currency validity may be handled at compile-time. (This is touched upon in the post linked in the comment you replied to.)
For the case of conversion between currencies of monetary amounts:
https://github.com/anderslundstedt/type-experiments#type-saf...

Stats

Basic type-experiments repo stats

Mentions

Stars

Activity

6.8

Last Commit

3 months ago

anderslundstedt/type-experiments is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

The primary programming language of type-experiments is Coq.