Similar projects and alternatives to hermit
Finite nimber arithmetic
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Symbolic formula representation and solver interaction library
Formally prove properties of Haskell programs using SBV/SMT.
Parser for smt-lib Command responses
SMTLib2 interface implementation for Haskell
Compile time CAS(Computer Algebra System) for Haskell
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
singular-factory: Haskell bindings to the factorization library of Singular CAS
Common types for sampling.
Haskell library for manipulating and evaluating continued fractions
hermit reviews and mentions
We haven't tracked posts mentioning hermit yet.
Tracking mentions began in Dec 2020.
ku-fpg/hermit is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.