Universe-th Alternatives

Similar projects and alternatives to universe-th

• fortran-src

  1 44 5.8 Haskell universe-th VS fortran-src

  Fortran parsing and static analysis infrastructure

  

• elsa

  0 180 2.9 Haskell universe-th VS elsa

  Elsa is a lambda calculus evaluator (by ucsd-progsys)

  

• 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.

  

• nirum

  0 121 0.0 Haskell universe-th VS nirum

  Nirum: IDL compiler and RPC/distributed object framework for microservices

  

• language-rust

  0 88 0.0 Haskell universe-th VS language-rust

  Parser and pretty-printer for the Rust language

• liquid-fixpoint

  0 128 8.9 Haskell universe-th VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  

• formura

  0 58 0.0 C universe-th VS formura

  Describe stencil formurae without even translating them

• haskell-src-exts

  2 193 0.0 Haskell universe-th VS haskell-src-exts

  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

  

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• camfort

  0 120 5.7 Haskell universe-th VS camfort

  Light-weight verification and transformation tools for Fortran

  

• stop-words

  1 311 10.0 universe-th VS stop-words

  List of common stop words in various languages.