Naperian Alternatives
Similar projects and alternatives to naperian
-
justified-containers
Standard containers, with keys that carry type-level proofs of their own presence.
-
-
InfluxDB
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
-
-
-
-
selections
Haskell Package for operating with selections over an underlying functor
-
Onboard AI
Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
-
type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
-
heap
A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.
-
claferIG
Support for reasoning on Clafer models by instantiation and counter example generation.
naperian reviews and mentions
We haven't tracked posts mentioning naperian yet.
Tracking mentions began in Dec 2020.
Stats
aaronvargo/naperian 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 naperian is Haskell.